outdoor tub warmed by lava