Actually, yes, it is a red card offense. Section 8, Article 3 of the NFHS rule book states "A player, coach, or bench personnel SHALL BE DISQUALIFIED (RED CARD) for b. "taunting - use of word or act to incite or degrade an opposing player, coach, referee or other individual." Then there is a NOTE that says "The NFHS disapproves of any form of taunting which is intended or designed to embarrass, ridicule or demean others under any circumstances..." I was not at this game and don't know the actual circumstances, but it seems feasible that the ref did the right thing.