Just to verify, when did this happen? Right now (if he starts spamming again) he should be kicked after around 10 lines of spam.