I would highly recommend anyone/everyone report when they are trolling.
However, just note, that it's very easy to get tagged in that (I've personally gotten less-than-reciprocal / hypocritical warnings or thread bans even when not engaged heavily). I've seen such a long leash given to Devils fans in OUR threads when Rangers fans are very easily thread-banned on theirs. No clue if this is just the whiney nature of their fanbase or what.
Yeah but it's a double edged sword maybe this results in our mods being more Laissez Faire against our own fans making our board a more enjoyable place to post.