Alan Ratcliffe wrote
Isopropyl is usually good for that type of thing, but permanent marker does tend to stain a bit.
Can one buy isopropyl at hardware stores? Chemists?
Fortunately the pedal has a gloss finish, and there's no silkscreening around the knobs - which is where I made the markings.
Thanks for the info.