Hi Fellow Villagers! does any one have any experience in using a warm tub at their residence but not coated less than a Lanai? Seeking to determine if we need to shell out $8-10k (ouch) on the Lanai extension or perhaps install the recent tub on our BBQ patio space https://rowanddbxq.wikirecognition.com/1382952/fascination_about_pergola