Hello fellow Villagers! does everyone have any experience in utilizing a very hot tub at their household although not lined beneath a Lanai? Striving to figure out if we need to spend $eight-10k (ouch) on the Lanai extension or simply just put in the recent tub on our BBQ patio https://izmirawning60257.yourkwikimage.com/1366883/pergola_no_further_a_mystery