Hi Fellow Villagers! does any individual have any experience in employing a very hot tub at their house but not included below a Lanai? Trying to figure out if we must devote $eight-10k (ouch) with a Lanai extension or just set up the recent tub on our BBQ patio place https://izmir-awning30371.wikitidings.com/6303741/5_simple_statements_about_izmir_tente_explained