pinside value bases on sale posts over a long time period, not current sales. pinside pricing also includes full blown restores, ads that have free shipping and waranties as well as beat projects. Its a nice tool, but not accurate. It also bases it on asking prices, not selling unless you mark what it exactly sold for and who knows if a person is being honest.
If i post a high speed for 10k, then end the ad, it takes that 10k and puts it in the pricing algorithms assuming it sold at 10k, whether it did or not.
All that being said, I think your asking price is fine. I have seen them sell between 7.5k and 9500 often the past few years and yours is on the nicer end.
the 7500 ones sell extremely quick.