Nine thousand's too rich for me. 5k and downwards is my ideal price range. Although the 610 looks tempting.
Someone is selling a Harman/Kardon DVD21 in the marketplace for 3.5K
Its a nice player featuring the National Semiconductor 'Mediamatics' NDV8603 DVD on a Chip, Wolfson Microelectronics' WM8706 High Performance Stereo DACs.
I used to own one, except mine died after 8 years of fruitful operation (2002-2010) hence I replaced it with a Pioneer DV595K in 2009 when it showed its age.
When my Pioneer ran out of warranty, I opened it up and am disappointed with the internals - lets just say you're better off with the raon/quiapo DVD players (MediaTek 1389FE DVD on a Chip IC with integrated DAC) because that's what's exactly inside the thing. Probably the only difference is the software/firmware and the brand.
No wonder the Pioneer DVD player sounded different from the H/K when playing plain CDs.
Discrete DAC ICs will always trump over integrated DACs in DVD in a chip ICs anytime.