Hi Fellow Villagers! does any person have any encounter in employing a hot tub at their house although not coated below a Lanai? Making an attempt to determine if we have to invest $8-10k (ouch) on the Lanai extension or simply install the recent tub on our BBQ patio location https://izmirpergola03678.illawiki.com/1394799/the_best_side_of_izmir_pergola