Thanks to everyone who offered their thoughts.

The main reason I didn't say anything, honestly, was that I was just a little overwhelmed at my first casino game -- having to remember to protect my cards, follow the action, watch people at the table (all the things that don't take nearly as much effort online). Although I did overhear it at the time (you'd be amazed at the other stuff I overheard people whisper to each other, mostly after hands), it didn't register at the time.

I'll be back at the Trump soon, and if it happens again I will most likely comment in a light, good-natured way. Gotta keep the table in high spirits, after all.