I looked at Big Ass Fans after seeing one at a friend's shop but the $4k price tag was a non-starter. Figured there had to be cheaper options and found these at HD.
This Home Decorators Collection Fenceham Brushed Nickel Ceiling Fan with Remote Control is perfect for lofts and commercial and residential applications.
www.homedepot.com
Ended up buying one off ebay for $200 and liked enough to buy another to replace the first one if it goes out or eventually put in a barn I'd like to finish in. Not huge but 7ft and moves a lot of air.
Just for comparison, my shop is 50x70x16 and split into 1/3 and 2/3 parts. Small part has mini-splits I rarely use but big part has two 5-ton package heat pumps. In Alabama summer they typically run 9-6 at 74F with a max of ~ $250/mo. Winter is 68F with about a $200 max. Each has one high outlet and one low intake. Figure your shop is about 3X the size I'm heating/cooling so a couple of 15-ton units might be an option.
View attachment 3732115