Hi fellow Villagers! does any person have any practical experience in utilizing a incredibly hot tub at their home but not covered beneath a Lanai? Hoping to determine if we must spend $8-10k (ouch) with a Lanai extension or simply install the recent tub on our BBQ patio region and https://franciscosuqjb.wikirecognition.com/1400521/tarpaulin_options