"any part of Trey's "casino.""