Is there a ruling on this or is it not in the officials hands?

[Peter Devana]

Agree with those saying this is one of the many resp. of game managers. Bring it to their attention and let them handle it. Refs don't mix it up with fans. If there is no manager go to the home coach and have him/her deal with it.