Hi Fellow Villagers! does any one have any encounter in using a very hot tub at their house although not covered less than a Lanai? Attempting to determine if we need to commit $8-10k (ouch) with a Lanai extension or just put in the new tub on our BBQ patio https://martinbkwsk.jasperwiki.com/6627215/izmir_pergola_can_be_fun_for_anyone