I got the crank back at last $185 for the repairs. The bloke who did it was supposed to order a gasket set and a new piston and little end but he didn't. I've ordered them and they should be here next week. Whilst reassembling things I observed that the nylon gear which drives the points cam was cracked. It probably occurred when the engine seized. I found one on ebay $60, ouch. Oh well.