<HTML><FONT FACE=arial,helvetica><FONT SIZE=2>I've gotten three answers to think about. 1. replace the keytops. 2. cut the punchings. 3. replace the punching with smaller ones.
<BR>
<BR>What to do, what to do?
<BR>
<BR>I'll let you know later what I've decided.
<BR>
<BR>Thanks
<BR>
<BR>Wim </FONT></HTML>