Excellent save. I have heard that Grandmas secret spot remover has gotten out sharpie permanent ink. This is just hearsay, thankfully I have not had to try it. Did you try anything on it before patching it?
http://www.amazon.com/s/?ie=UTF8&key...l_5z9zk3eihp_b