Hello Fellow Villagers! does everyone have any knowledge in using a very hot tub at their household but not included below a Lanai? Trying to figure out if we must commit $eight-10k (ouch) with a Lanai extension or simply install the hot tub on our BBQ patio location and see https://gunnerlolhz.wikiap.com/1378628/izmir_pergola_an_overview