It looks as if he used acetone, and I think I remember him saying he used it too.
=)
Edit: Ooops! I forgot to refresh, rippy beat me to it!
The acetone and dye works pretty good, just check to see if the keys are coated. In general you just need to be more cautious and wait for the plastic to harden afterwards. As a tip- it can greatly help the dye consitency in the part if you lightly break up the surface tension in the water based dye solution.