Interesting! The two that RIA sold both would rate as excellent and sold for what I would consider "top dollar". You said yours is in "about" the same shape. At least as good, or "almost" as good? Condition of original finish can make a huge difference in value on these little guns.
The other problem is finding someone that is willing to pay "top dollar". Usually this will mean listing with a national auction house. (BTW, those prices realized included a 15% buyers Premium. I don't know what the seller fees were, but you can be sure that the actual owner received considerably less than shown.) I also have no idea where they came up with the "pre-auction" estimate. All I can say is that it doesn't give me much confidence in their estimating.