Hi fellow Villagers! does everyone have any working experience in using a incredibly hot tub at their dwelling although not covered underneath a Lanai? Making an attempt to figure out if we need to commit $8-10k (ouch) over a Lanai extension or merely install the hot tub on our BBQ https://izmirtente20639.wikinstructions.com/1372993/not_known_facts_about_izmir_pergola