Michell Giro Deck and Keith Monks KMAL Record Cleaner

A friend of mine is downsizing and wants to sell both for 2,500. I know they have been taken very good care of and haven't been played in quite a while. He said he oiled the bearings on the turntable and cleaned a record with the record cleaner after replacing the pump, and said the record player is ready to be hooked up. He also has 3,000 records he wants to sell, most of which were only played once on a Thorens turntable. I think this is one hell of a deal. Am I mistaken?