Hello Fellow Villagers! does any one have any working experience in utilizing a incredibly hot tub at their household but not included beneath a Lanai? Hoping to figure out if we have to shell out $eight-10k (ouch) with a Lanai extension or just install the recent tub on our BBQ https://izmirtente68998.eveowiki.com/1393214/rumored_buzz_on_tarpaulin