Hi fellow Villagers! does anyone have any working experience in using a hot tub at their residence but not included less than a Lanai? Seeking to determine if we need to commit $8-10k (ouch) with a Lanai extension or merely install the recent tub on our BBQ patio place and https://judahvfnex.bloguerosa.com/33099216/pergola-no-further-a-mystery