Hello fellow Villagers! does any individual have any working experience in using a hot tub at their dwelling but not coated under a Lanai? Hoping to determine if we must commit $8-10k (ouch) on the Lanai extension or simply just set up the hot tub on our BBQ patio location https://izmir-awning50368.bimmwiki.com/10790777/pergola_no_further_a_mystery