Hi fellow Villagers! does any one have any experience in using a warm tub at their home although not included below a Lanai? Hoping to determine if we have to expend $8-10k (ouch) on a Lanai extension or perhaps install the hot tub on our BBQ patio space and see https://johnathanlonki.wikinstructions.com/1373299/the_ultimate_guide_to_izmir_awning