I forgot to say that my recipe for hammer softener is not denatured
alcohol but pharmaceutical drug store rubbing alcohol with 90% marked
on the bottle.

However, regular denatured may also work.  Sorry for the oversight.

Let me know if denatured works just as well.

D.L. Bullock  Piano World St. Louis