If one isn't going to Vegas due to COVID-19, I wouldn't expect anywhere along the gulf coast to be a more acceptable alternative.
I was just in Vegas and it’s WAY more crowded than Gulf Coast Casinos right now. I’d definitely go to a Gulf Cost Casino right now, the only major downside for me is the heat and humidity is unbearable.
Anyways, just providing options.