Yeah LED is the way to go.
http://www.cheaphighbays.com/product.html?l=linear-high-bay
I recommended this to someone else and I think it'll work good with your setup too.
You could look at this,
http://www.cheaphighbays.com/product.html?l=linear-high-bay
It'll be a good amount of light. I've worked with them before and they can add some switches on the lights. They do a lot of customization but you wouldn't know if from the website.
I came across this website.
http://cheaphighbays.com/
I bought a couple of the dome high bay for my shop and they're working really well. A couple different form factors too.
I bought 6 dome high bays of when the sale first came online. Really bright and seems well made. I haven't noticed the low CRI they state, it seems to be higher. I have a couple other LED products which look like they have a worse CRI but the same spec. When I bought they said they use meanwell...