Nice tip with the hand sanitizer!
hand sanitizer also gets ballpoint pen and other pen marks of formica just like that. Use caution on walls as it will also strip paint. accidental janitoring discovery I never use hand sanitizer but the dental clinic had it in the rooms and some spewed on a counter upon wiping it up it removed pen marks I had been fighting for a week.
First time I tried it was after my then 2 year old used a blue ball point pen on our brown micro-suede couch

. My wife's aunt recomended it and it took it right out without damaging the color or fabric of the couch. This was after the ink dried too. Now I try it on everything first before anything else. At least smaller things.