Hi Jeff...
The TCR numbers for these are:
D3217 - Ellis Island D3202 - Mohegan Sun D3229 - Resorts World
Happy Holidays!