Our guidance is to check the space first before we commit to staying. Modern Hot Tubs originate back in time only over half a century ago (1954) when the Jacuzzi brothers invented a transportable whirlpool pump (merely because I recognize it considering 1 of their relatives had arthritis) plus from there on in the Hot Tub Industry has not looked back. The gardens have a maze, that is great fun for the kids.