Official comment
The headroom on the mixer is 19dB with that as its setting, so when you go to a full clip signal on the channel, it could certainly be clipping the digital, but only just.
Much like a company trying to keep its employees from visiting questionable websites by firewalling them, I can tell you the best solution to this issue would be education and discussion. If you're a club-owner, you would be better off to institute a policy informing DJs that they will be fined / banned / have the volume turned down if they take the channels into the red, rather than trying to simply block them.