I heard thru the grapevine that The Golden Nugget will take over the Trump Marina on May 25, 2011. I`ll assume that they will be changing there chips then. Can someone verify this?