Hi fellow Villagers! does anyone have any experience in using a incredibly hot tub at their household but not covered below a Lanai? Attempting to figure out if we have to commit $eight-10k (ouch) on the Lanai extension or simply just install the hot tub on our BBQ patio space https://pergola95704.wikiap.com/1385263/fascination_about_izmir_pergola