Where do you stand on mic spamming?

For instance, I was just playing on server 10 (surprise surprise) and some dude was blasting some crappy God music down the mic, just constantly. I found it extremely offensive, not only to my ears, but to my beliefs in science and everything else rational in the known world. I told him to stop it several times, and his excuse was that it was "mess around time". I felt he wasn't respecting a server I enjoy so much, and it made me slightly angry. That , coupled with his extremely poor choice in tunes and ruining a perfectly good game, I lost it and insulted him slightly. I am pretty sure he was just being an audio troll, so surely that has to be against the rules?

But yeah :

# 6242 "Wilford Brimley" STEAM_0:0:3021611 03:24 128 0 active

Thats what I got. I muted him in game, but he kept reconnecting just to blast crappy music down the mic. I eventually just had to turn off mics altogether, which ruined the tactical plays that myself and the rest of my functioning team were putting into action. Needless to say, I had the last laugh.

Anyways, is there anything you can do about this sort of thing? Just for future reference, because I doubt he will be back, but I just wanted to know.

Thanks