Hello fellow Villagers! does any one have any expertise in employing a warm tub at their household but not covered below a Lanai? Hoping to figure out if we need to commit $8-10k (ouch) with a Lanai extension or just install the hot tub on our BBQ patio location and https://izmir-pergola28294.laowaiblog.com/33034441/the-basic-principles-of-izmir-tente