Diabetes and hot tub

We are on vacation and the place where we are staying has a hot tub. My daughter is 8 years old with type 1 diabetes. Does anyone have experience with this? Would it be ok for her to get in?

I never had any problems myself. we have several discussions here about it, here'sone