Hello fellow Villagers! does anybody have any working experience in employing a warm tub at their home although not covered under a Lanai? Making an attempt to figure out if we must commit $8-10k (ouch) over a Lanai extension or simply just set up the hot tub on our BBQ https://pergola37257.ouyawiki.com/1384801/everything_about_izmir_pergola