Hi fellow Villagers! does any one have any knowledge in using a very hot tub at their home but not covered beneath a Lanai? Trying to determine if we need to shell out $eight-10k (ouch) on a Lanai extension or maybe put in the hot tub on our BBQ patio https://izmir-awning85020.wikipublicity.com/6457091/a_review_of_izmir_pergola