Just a idea I have,
If you would polish the keyboardkeys in a machine.
That is a trommel(english?)machine.
It is like a washingmachine which rotates slowly and is filled with for example cork(soft material no duts/scratch).
It is easy to control as the process goes slowly.
Just a tiny bit of the surface has to go from the keys.
I think it will improve the whiteness of the keys without loosen the keysymbols.
what do you think?