Hi Fellow Villagers! does any person have any encounter in using a hot tub at their house although not included beneath a Lanai? Seeking to determine if we have to shell out $eight-10k (ouch) on the Lanai extension or simply just set up the hot tub on our BBQ patio https://riverxsmfc.hamachiwiki.com/1375893/the_fact_about_izmir_awning_that_no_one_is_suggesting