Yeah, I reckon they would be disappointed with the return on the AC/DC - probably unlucky with that one.
Depending on condition, like you say, some reasonable prices and some a bit excessive! I would never expect to see a Dirty Harry go for $3400, decent machine though it is. I reckon that one might even be above normal dealer pricing.
A shame there was no Getaway in there - would have liked to see if I valued mine correctly when I traded it recently!