I know, just messing with you. Hey I did ask the kid at the front desk but they arn't allowed to give out any info. The treadmill is made by cyobex (I believe that's the spelling)
Cybex. Very good brand, but usually a little pricey when new. They can run upwards of 6k new. If you can get a really good deal, it could be worth looking into.
Hate that the little front desk guy wouldn't help you out. I'd keep asking others, or just wait until you see someone working on them and approach him.