Hi Fellow Villagers! does any one have any expertise in using a sizzling tub at their home but not included below a Lanai? Seeking to figure out if we have to shell out $8-10k (ouch) on the Lanai extension or simply just put in the hot tub on our BBQ https://lorenzoadzau.shopping-wiki.com/9070730/the_fact_about_izmir_awning_that_no_one_is_suggesting