Hi fellow Villagers! does anybody have any working experience in using a warm tub at their home although not included underneath a Lanai? Trying to determine if we need to shell out $8-10k (ouch) with a Lanai extension or simply install the recent tub on our BBQ patio place and https://donovankyasq.wannawiki.com/503190/not_known_facts_about_izmir_tente