Does anyone know when they will be available, particularly the DDX-8019?