Ultimate $10K home office system for vinyl?

Looking for some advice/inspiration... If you had a $10K (USD) budget for a home office/listening room, which turntable/amps/speakers would you buy?  

Assume that the system will only be used for vinyl records - i.e. no CD player, radio etc. - just the best bang for buck vinyl-only system for $10K.