Five air-conditioned dolphins spin themselves in blue boxes in the light music.