They do not sell Tropicana chips.
OR
If they do, they are risking big fines.
Gaming came down hard on the Hard Rock. Once for selling HR LE's over face and once for selling HR tokens in the gift shop.

Selling another casino's chips in your gift shop has never been addressed by NV gaming.