I think it's proper to drop ping requests in favor of real traffic. This can sorely confuse or even upset folks that want ping to always work. Ping is secondary or lower traffic. If you want to maximize your traffic you toss away pings when the stack is full of real traffic.