They finally arrived from Australia - that's where they filmed the movie. Set to be released June 24th.

A prop set from the Aladdin (includes a $250 chip. Maybe they were trying to make a snapper?)

A prop set from the International:

Also received a prop International room key. Both sides shown.

Looks like the production people tried to replicate the originals.

Here is an actual International room key. Image from the "Chip Guide".