Bob, here is a scan of the $2.50 currently in use at the Trump Marina, which is
still using "Trump Castle" chips.

The $1.00 chip that you showed is still the one currently in use, unless the casino has suddenly changed $1.00 chips in the past few days, which would
be news to me. The casino does have $1.00 "back up " chips in their vaults, and those chips have been anticipated to be put into play for the past 9 months or more, but Mike Custodio told me last week that he still did not know when the powers to be would make the change.