The Krell Showcase / HTS range was amazing. However, they are getting very old and a lot of these units are starting to fail in different areas (digital board, analog channels, etc.). If you want to take a chance on these, go for it. But expect a risk. Also, the Krell units standard behavior for COAX digital input is to down-convert everything to 44.1/48khz sampling rate.
I remember reading that the Classe SSP-800 will convert everything to 96khz, because they believe that is the optimal sampling to feed the specific DAC chips. The Classe is going to be an excellent item, but expensive again. Same price range as the Krell S1200 (which is the same generation.
I think I have seen Anthem D2 in the $2k range. That would probably be your best bet, but I don't know how it behaves with digital coax.
Digital COAX will always give you better 2-channel PCM sound than anything over HDMI. COAX is better for even old school Dolby Digital / DTS. The only thing that HDMI audio is good for is the hi-res bluray formats (DTS-HD MA and Dolby TrueHD).