Hello Fellow Villagers! does anybody have any experience in using a hot tub at their residence although not included below a Lanai? Making an attempt to figure out if we must spend $8-10k (ouch) on the Lanai extension or perhaps put in the recent tub on our BBQ patio space https://tarpaulin18528.bimmwiki.com/10793222/details_fiction_and_tarpaulin