Hi fellow Villagers! does everyone have any experience in using a hot tub at their household but not covered beneath a Lanai? Hoping to figure out if we must devote $8-10k (ouch) on the Lanai extension or simply just set up the hot tub on our BBQ patio area and https://alexisxpenl.wssblogs.com/33997812/rumored-buzz-on-tarpaulin