it's a sharpie red marker. i only noticed it this evening, ds had put it on at some point today and i assumed it was his paint (washable) so told him to wash it off with a baby wipe but it wasn't budging and when i asked him to show me what he used it turns out it was the marker.
any tips on how to get it off? i have nail polish remover but worried it might damage the surface of the machines?