Also, in this case, your first course of action (IMHO) would be to get the offensive player's steam ID. They can't run away from that but can disconnect at any time. You can get their steam ID by typing 'status' into the console. That way you can always request a ban etc etc.