If you think that it's a problem, mention it to game management and let them take care of it. You need that half-time break together with your fellow officials. Talking, concerns, adjustments, just plain relaxing.....they're more important than someone maybe dunking the ball. If you honestly think that it's a major concern, get your assignor/whoever to contact the school's administration about it, or maybe send out a general letter to all schools in that conference. Jmo.