Hello Fellow Villagers! does any individual have any practical experience in using a hot tub at their household but not protected below a Lanai? Striving to determine if we have to commit $8-10k (ouch) on a Lanai extension or simply just install the new tub on our BBQ patio space https://izmirtente28157.wikibyby.com/1375073/5_essential_elements_for_pergola