Yikes! Bad news. I learned the hard way not to give any repairman anything that disconnects from the machine. The hard way. More than a few power supplies (for a 1400 and an Nintendo 64 and a couple of diskmen) and various power cables and most recently the teflon ring on a promouse all went the way of "no - you didn't give me one."
So much for illusions of being smart.
Hope they find it.