Hello Fellow Villagers! does any individual have any knowledge in employing a incredibly hot tub at their house although not coated beneath a Lanai? Making an attempt to figure out if we must expend $8-10k (ouch) on a Lanai extension or simply install the recent tub on our BBQ patio https://angelocpcnx.wikikarts.com/1360326/a_review_of_izmir_pergola