Just in case anyone is interested or searches for the info later, Choctaw had 4 tables but only one was in operation today (a Thursday morning to early afternoon). The table limit was $10 and they weren't limiting the number of players although they enforced the mask wearing unless you were sipping a drink.
They also have one of the new electronic craps tables. This is not the bubble craps that has been around for a few years, but an actual craps table with an electronic screen for the table instead of felt. You make your bets on a screen, similar to the bubble craps games, but you play with real dice. As I was about to leave I figured I'd give it a try just to see what it's like. It is definitely not as much fun to me as a regular table and looking down at the tiny screen to make bets was annoying to me (had to keep taking my readers on and off). The one advantage it has is that the ante is $0.50 per come out roll as opposed to $1 at the regular table. Here's a photo of it.

As for the antes, they are very annoying, particularly when you have a string of 7s, 11s or craps in a row while you're waiting for a point to be established. "Front line winner 7.... sir, please drop me another dollar". I was afraid the ante would make the game unplayable but it wasn't as bad as I feared. I would probably be more annoyed if I had kept up with how much I paid in antes.