Hi fellow Villagers! does any individual have any encounter in using a very hot tub at their home although not included under a Lanai? Trying to figure out if we must spend $eight-10k (ouch) over a Lanai extension or maybe put in the hot tub on our BBQ patio area https://izmir-awning74702.westexwiki.com/1361883/considerations_to_know_about_izmir_awning