The indoor pool house accounts for about 30% of the home’s total footprint.