Hi Fellow Villagers! does anyone have any practical experience in employing a very hot tub at their house but not lined less than a Lanai? Seeking to figure out if we have to shell out $8-10k (ouch) on a Lanai extension or simply install the recent tub on our BBQ https://tarpaulin27035.iamthewiki.com/8688188/5_simple_techniques_for_izmir_pergola