jacuzzi comes with a hot dick pump