Hi fellow Villagers! does everyone have any encounter in using a incredibly hot tub at their house although not lined less than a Lanai? Seeking to determine if we have to spend $8-10k (ouch) over a Lanai extension or perhaps install the new tub on our BBQ patio spot and https://andywpxrx.wikimidpoint.com/5070020/detailed_notes_on_tarpaulin