Fixing a broken lever on the Boxster hardtop...

When removing the hardtop from Boxster, we ran into a slight problem: the release lever on the driver's side moved, but the hardtop didn't release. What we discovered was that the tech who last serviced the car had snapped the cotter pin (which connects the lever to the shaft) when he replaced the hardtop.

It took us a while to remove the top, but once we did, we were left wondering, how should we fix the lever?
Full write-up at the usual place.