Hello Fellow Villagers! does everyone have any working experience in using a hot tub at their home but not lined below a Lanai? Striving to figure out if we need to shell out $eight-10k (ouch) on the Lanai extension or maybe install the recent tub on our BBQ patio place https://martinpjlkf.bloggazza.com/33167942/5-essential-elements-for-pergola