I'm selling a roll of nickles (casino nickles) on eBay and someone wrote asking which casino it was, since they found none with that name.

Am I correct in assuming that this is "Station Casino" in St. Charles MO and they just used a different name on the paper around the nickels, or was it named Riverfront Station before?