Hello Fellow Villagers! does any person have any expertise in using a incredibly hot tub at their residence but not included under a Lanai? Hoping to determine if we must spend $8-10k (ouch) on a Lanai extension or simply install the hot tub on our BBQ patio location and see https://eduardodxpgj.thechapblog.com/33125490/how-izmir-tente-can-save-you-time-stress-and-money