My in-laws are renting a 7 BR home located on Lido Key Drive. Anyone know details about it? Will they have a game room? I know it has a pool, but that will only occupy teens for so long; I don't want them to get bored while the adults chat (that's our idea of a good time!).