Hi Fellow Villagers! does any individual have any working experience in employing a hot tub at their house although not included less than a Lanai? Attempting to figure out if we need to invest $8-10k (ouch) with a Lanai extension or maybe set up the recent tub on our BBQ https://izmirtente32974.lotrlegendswiki.com/1381031/pergola_options