I think that bike is f*****g beautiful. It's worth whatever someone with the money is willing to pay. It's only overpriced if it doesn't sell, but this is an auction.
I wonder if these bikes will ever go down in price. Then again, there probably aren't too many all original early diecasts with less than 20k on the clock.