I'm in your friends camp but the pickings are very slim for provisioning. There's one IPA but its pretty weak effort:

https://www.beeradvocate.com/beer/profile/12230/54127/

At a few restaurants you can find some better beers. I usually just deal with it and drink Red Stripe and other similar options.