Hello fellow Villagers! does any individual have any knowledge in using a warm tub at their property although not included under a Lanai? Seeking to determine if we must commit $8-10k (ouch) with a Lanai extension or maybe put in the new tub on our BBQ patio space and see https://izmir-tente95048.wikimillions.com/3843310/top_izmir_tente_secrets