Hi fellow Villagers! does everyone have any encounter in utilizing a hot tub at their house but not protected below a Lanai? Seeking to determine if we have to spend $8-10k (ouch) over a Lanai extension or simply put in the hot tub on our BBQ patio spot and see https://alexiscbvtm.angelinsblog.com/33273852/rumored-buzz-on-tarpaulin