Hello Fellow Villagers! does anybody have any experience in using a incredibly hot tub at their home but not coated beneath a Lanai? Hoping to figure out if we need to invest $eight-10k (ouch) with a Lanai extension or simply just put in the recent tub on our BBQ patio https://tarpaulin81232.signalwiki.com/1377054/izmir_pergola_an_overview