I believe we just did.
I agree with Kogas on this one. If someone is sending you harassing PMs, you can just delete them unread.
Banning because of PM presents a slippery slope. What if they are sending messages to your email?
Hopefully, when the software is updated, it will include an "ignore this user" function.
"In case you ever wondered what it's like to be knocked out, it's like waking up from a nightmare only to discover it wasn't a dream." -Forrest Griffin