M.G.
I have gotten black pen ink out with rubbing alcohol (we have little wipes), hairspray, I think hand sanitizer will too .. but I've only done it on a tiny spot before. I'd be inclined to take to a dry cleaner too if it was noticeable and good slipcover. I could always throw out the white shirts I was trying to get pen out of.