Dolphinaris Height Requirement

[TNPirate]

We saw that Dolphinaris has posted a 4' (48") minimum height for any of the programs with a swim component. How strict are they? DD is currently 47" - 47 1/2" (barefoot) and we sail in late May, so we "could/should" be past 48" by then. Dilemma is if we book interactive only and she grows, she'd be bummed, but if we book swim and she "stalls out", we've paid for something we can't use. Are they like some theme parks where if a sheet of paper fits in the gap they aren't tall enough, or do they "round up" for those within a 1/2" or so?