Hmmm. Never saw Jerry drop one, but I think there were a lot of things I didn't see at shows I was at.
Anyhow, for the pick droppers among us, you don't have to buy anything. Take a strip of duct tape about 5 or 6 inches long and lay it down lengthwise along the side of your mic stand boom not far from the mic clip, only don't stick it down all the way. Only stick down about half of the width, leaving the rest of the sticky part exposed and hanging down. Stick spare picks to this. If you drop one during a gig, reach over and pluck another one from the tape. Works great.