Hi Fellow Villagers! does anyone have any practical experience in utilizing a incredibly hot tub at their household but not coated less than a Lanai? Trying to determine if we must invest $8-10k (ouch) on a Lanai extension or simply install the hot tub on our BBQ patio location and https://izmirawning38900.dekaronwiki.com/1376703/rumored_buzz_on_tarpaulin