I know it's a drive, but you can check with United Truck Body where I bought my bus. They have a somewhat outdated listing on their website, but it would give you an idea. TC2000's are quite common up here.
Actually, my bus is still listed on there
As a side note...those prices are hardly concrete. Mine is listed at $2000....when I asked him how much it was he said $1250 without me even TRYING to haggle.
That Thomas THRE they have there is to die for....96 passenger, air brakes, ISC Cummins, MT643 tranny......makes my mouth water.
One other option is http://firststudentinc.com
but there buses seem to be in lesser shape. I'm fairly certain you aren't going to find one with much tread on the tires ot fuel in the tank from them.