Whenever we had a perm marker stain on our whiteboard, we found if you totally color over the stain with a regular eraseable marker, it will remove the perm marker.
As for a battlemat, we tried acetone once (on the phallus of doom, don't ask) and it took off the stain, and the coloring, and the...