I've heard that good old WD-40 will remove most types of tape residue,
and it won't hurt most plastics.

Mike, you'll be relieved to hear I haven't taped any of the Orgatron's
keys! :-)

Mike Knudsen