Hi fellow Villagers! does anybody have any knowledge in utilizing a hot tub at their property although not lined beneath a Lanai? Attempting to figure out if we have to invest $8-10k (ouch) with a Lanai extension or simply just set up the hot tub on our BBQ patio spot https://charliedauof.wikigiogio.com/1381469/pergola_no_further_a_mystery