Part of the conjecture (then) was that the Tropicana may have been pulling the Mama Mia chips as a result of the closing. I was able to confirm with a dealer that I have know for several years that the dealers have been instructed to pull Mama Mia chips from play whenever they see them being used.

Jim