Hi Fellow Villagers! does any one have any experience in using a warm tub at their property although not protected below a Lanai? Attempting to determine if we need to spend $8-10k (ouch) on the Lanai extension or simply just put in the recent tub on our BBQ patio space https://collinwqgym.frewwebs.com/34552120/considerations-to-know-about-izmir-awning