There were some awfully good deals there, but they weren't on pins I particularly wanted. I did buy the TOTAN, however. I worked out a deal with the seller since I wouldn't go to what was, in effect, his reserve. It's not a steal by any means, but it is a quite reasonable price in the current market. I simply would not have bought a TOTAN at full retail.
I have to say that it cleaned up beautifully this evening. Someday I'll get it fully restored, but we'll definitely enjoy it in the meantime. A very nice addition to the lineup, and the one pin that my wife really enjoys.