Hello Fellow Villagers! does anyone have any working experience in employing a warm tub at their dwelling but not lined beneath a Lanai? Seeking to determine if we must spend $8-10k (ouch) over a Lanai extension or just put in the hot tub on our BBQ patio location and see https://brookswejnm.mdkblog.com/39821554/izmir-pergola-an-overview