I bought one about that same size at Denny's Pet World in Kirkland for 25 bucks 2 years ago. I used to work in wholesale and the price for a 9 incher is quite a bit more than that. I would try for 50 dollars and go from there. Little ones are cheap now since they are farm raised in the Far East but it takes a long time and cost a lot of money to grow one as big as yours is.

Lance

check out aquabid, sometimes they go for lot .just because of the size

I would have to agree with trying aquabid.com first and see what they are going for on there. For reference though, the local fish store here has one not much smaller than mine(Our "Hoover" is 12") and they are asking $60 for him.