Hello Fellow Villagers! does any one have any expertise in using a warm tub at their house but not included less than a Lanai? Attempting to figure out if we need to invest $eight-10k (ouch) on the Lanai extension or maybe put in the new tub on our BBQ patio https://angelookfzr.wikitron.com/1380105/pergola_options