Hello fellow Villagers! does everyone have any practical experience in employing a hot tub at their property but not lined beneath a Lanai? Attempting to determine if we have to invest $8-10k (ouch) on the Lanai extension or just install the hot tub on our BBQ patio spot and see https://chancevcaws.blogdomago.com/33005978/rumored-buzz-on-tarpaulin