Hello fellow Villagers! does any person have any working experience in employing a very hot tub at their dwelling but not protected less than a Lanai? Seeking to determine if we must commit $8-10k (ouch) with a Lanai extension or maybe install the new tub on our BBQ patio area https://izmir-awning04326.illawiki.com/1402672/the_izmir_pergola_diaries