Not that it'll do much good but I've just reported him to Google again
and hopefully it'll shortly stop his messages getting through on there
as well as stop them being archived...

If you get the opportunity I'd suggest going to Google groups and
report it as well - open the message and near the top of it there is a
'more options' link to click, in that list there's a 'report this
message'

Nick