Hello fellow Villagers! does anyone have any expertise in utilizing a very hot tub at their household but not covered under a Lanai? Trying to determine if we need to shell out $8-10k (ouch) with a Lanai extension or simply just set up the new tub on our BBQ patio https://izmirpergola49157.wikinewspaper.com/3689683/5_essential_elements_for_tarpaulin