I would think the AMR CD-77 at $8.5k should also be on your list.
http://www.stereotimes.com/CD070708.shtml
U.S. Distributor: http://www.avataracoustics.com
Manufacturer: http://www.amr-audio.co.uk
Regards,
http://www.stereotimes.com/CD070708.shtml
U.S. Distributor: http://www.avataracoustics.com
Manufacturer: http://www.amr-audio.co.uk
Regards,