Hello Fellow Villagers! does anyone have any practical experience in utilizing a hot tub at their household but not included below a Lanai? Attempting to determine if we need to shell out $8-10k (ouch) over a Lanai extension or simply put in the new tub on our BBQ patio spot https://eduardoehdau.wikimidpoint.com/5071819/5_simple_statements_about_izmir_tente_explained