The DSP5200HC has now also been sold.