get screenshots and report them to the server admin. Unless they enjoy wasting their time, or allowing endless second chances- they will publicize his UCID, IP, and his name for all to see. Typically the other server admins will pick that info up, and carry it to their servers- i.e. TK'er will bear a widespread ban.
We haven't had much of any problem in months on an S77th hosted server. Why? Because the shit-fingers of the DCS world are learning to not test our patience. Zero tolerance- a single deliberate offense will get you kicked, banned, and all your identifying information disseminated widely.