Hello Fellow Villagers! does anybody have any working experience in employing a very hot tub at their household although not protected under a Lanai? Trying to figure out if we need to expend $8-10k (ouch) on a Lanai extension or simply just set up the hot tub on our BBQ https://izmir-tente03345.gigswiki.com/5532670/izmir_pergola_can_be_fun_for_anyone