yeah, i know both sedo and afternic. the thing is – noone is going to give you an appraisal there for a domain PR5 DMOZ listed domain…
the only way to find out its value is to aks people like you, webmasters that know the industry, the importance of DMOZ listing (and the trouble to get there), etc
for me the domain is worth $4k-$5k