The two lenses have been sold... the 3.5cm/1.7 at $3451, and the 10cm/2 at $3550. Interesting, the high bidder on the 10cm was Arsenall. That was the lens that was identified as having haze that might not be able to be cleaned.
This seller also has a Canon 50mm/0.95, with a BIN price that doesn't seem outrageous. I say that because it includes the rare original hood, and the probably rarer rear lens cap. Those are 2 expensive items, in my experience. The auction is 7605852132, if anyone is interested... several days till closing. Thank
Heavens I don't need one, as I couldn't afford it.
Harry