Also to save time....
Order a set keys (5 diff shapes) one of each to keep in case this happens again. This way when you bring it to the shop they can start to fix it right away.
By the way is it the key itself or maybe just a spring or contact?
[This message has been edited by Dnj (edited 02-16-2003).]