Hi Fellow Villagers! does everyone have any knowledge in employing a warm tub at their residence although not included underneath a Lanai? Trying to figure out if we have to shell out $8-10k (ouch) with a Lanai extension or simply just put in the recent tub on our BBQ patio https://cashproic.blogtov.com/14595144/izmir-pergola-an-overview