Ah, I see, in an age of above-ground hot tub units an in-ground custom one is called a spa, okay. In my pre-above-ground youth “hot tub”, “Jacuzzi”, and “whirlpool” were interchangeable for in-ground ones and a spa was a commercial facility for all-around luxury pampering.