You may want to consider LED. An equivalent quality LED fixture from the same manufacturer is going to run you roughly 3x the price of those fixtures. However, If you run the lights 7 days week/12 hours per day, the payoff would be just 3 years - which is pretty good. 5 days week/8 hours a day pushes this off to about 5 years, which still isn't bad. But if you're only in there for a few hours a day, a few days a week, the pay off is going to be 10+ years and may not be worth it.
As far as heating of the area: T5HO lamps run "hot" because there's a lot of power being concentrated over a small tube area. Good LED lights typically use a large heatsink, spreading the heat out more. However, the physical temperature doesn't really mean anything at all. What matters is the power consumed by the fixture.
All of the power consumed by a fixture will be emitted within the room. Some will be captured directly as heat, the remaining will be indirectly captured as a result of the materials in the room absorbing the light and turning it into heat energy. LED fixtures may save you ~60 watts per fixture worth of heat. So even if you use 30 of those fluorescent fixtures over LED ones, that's only an extra 1800 watts of heat. That's only 6,000 BTU/hr. You're not going to notice 6,000 BTU in a 9600 sq.ft building.