Hello fellow Villagers! does anybody have any working experience in employing a hot tub at their home but not coated below a Lanai? Striving to figure out if we have to invest $8-10k (ouch) over a Lanai extension or simply just put in the new tub on our BBQ patio https://franciscotdjji.sasugawiki.com/6989346/tarpaulin_options