I recently received a couple of the new chips from the Flamingo in Las Vegas, but unlike my others, these just say Flamango. Did they change the name of the hotel from the Flamingo Hilton to just the Flamingo?

Second question> Did the Tropicana issue a 2003 4th of July chip? I didn't see it in TCR but they have the other years.

Thanx in advance.