Hello Fellow Villagers! does anyone have any knowledge in utilizing a incredibly hot tub at their home although not covered under a Lanai? Hoping to determine if we have to shell out $8-10k (ouch) with a Lanai extension or just put in the hot tub on our BBQ patio area https://remingtonwrkap.dekaronwiki.com/1359368/tarpaulin_secrets