A little late, But I'd vote LED as well.
I just did my shop a few years ago, also 40x40x14' I have 8 HO fixtures, each with 6 T-8 4' bulbs. And they have the mirror like reflector behind them.
Then under my storage I have 4 4-bulb fixtures and above it I have 2 4- bulb fixtures.
So in total, with all lights on, I am burning 80 4' T-8 bulbs. All 5000k. (would have preferred 6000k bulbs)
Lights are the biggest power user when I am at the shop. 80 bulbs at 34w each.....2700w of juice. Down there for a 8hr day....thats about 22kwh for the day which is more than I would like for lighting. But all the fixtures and lights + about 300 spare bulbs was all free courtesy of work. We were replacing fixtures with ones that use a battery backup ballast to dimly light 2 of the bulbs when the power goes out. So they were tossing these, which is 100% of what our facility uses on the production floor. Got all the spare bulbs because we change them every 3 years weather or not they are burned out. So I saved some of the good ones.
Can get the same level of lighting with fewer watts with LED. And as cheap as they are becoming....they will pay for themselves in no time.
Just a few random old pics showing the level of lighting in my shop
