Hi Fellow Villagers! does any person have any working experience in using a very hot tub at their house but not protected under a Lanai? Trying to determine if we must shell out $8-10k (ouch) on the Lanai extension or merely put in the recent tub on our BBQ patio https://izmir-pergola94602.wikicorrespondence.com/4635787/rumored_buzz_on_tarpaulin