So he got $67 for it.
Not a bad price actually, considering it includes three plugins. Though not particularly good ones.
My snipe of $53 didn't even get a mention. Would have bid higher except I've overspent lately, and am broke.
I still don't have any storage tube 7000 series scope, and wish I did. I bought a rackmount 7633 a few years ago, but that was the saddest story of incompetent packing by a USA seller ever. He put it in a large box, with absolutely no padding of any kind. Just loose in the box. To ship to Australia. What an arsehole. Or perhaps severely retarded, I don't know.
Of course it was severely damaged.
Some day when my aluminium TIG welding skills are improved enough, I may make an attempt at restoring it. A lot of the metalwork needs reconstruction.