I've muted that user, when PD3 comes out, anyone will have the ability to block/ignore another user so moderation won't be as big of an issue.