Dear List, Since I started the question of the allen key, I can now bring it to a close. It is indeed a 7/32". Thanks to all, Bob Sadowski RPT Erie, PA
This PTG archive page provided courtesy of Moy Piano Service, LLC