Flag and move on (if you can, I feel your frustration). @mods does not notify anyone.