yep - that wasn't a bad price for a CR like that.
I agree that was a pretty good price for that bike. It could easily have gone for >3K. I recently sold one which was not as good as that for $3200.
For a reasonable one which needs a bit of work to be race ready, I think the going rate is around low 3s. As a guide, you can pick up one in the US in similar or better condition for around $1500, ship it here for $12-1500, so landed around 3K. Add local transport and $3250 is about the mark.
Spend another $6-800 on it to get it race ready, some new tires, a top end refresh, chain and sprockets, new oils, maybe a new plastic here and there and a few other details and to me about 4K is what a truly race ready mount of this type is worth.