If it helps, I bought a Supernova RS a few years ago for just over $3k. Maybe something to compare it to if you want to look it up. I think they went for around $8k in 2007.
And yes, as mentioned above, the SPIDF input on mine was one of the main reasons for buying it - I play digital music though it.