They were in at least 3 or 4 buildings around the square (another urban "campus"). I don't recall hearing whether one of them previously housed a commercial station. It's certainly possible, but was before my time. The largest building (which had been turned into a dormitory, offices and more) definitely *was* a former hotel. I think I heard it was where the ballplayers stayed. ------------------------------