I have a contact there but he normally only gets involved when the domains are of substantial value. Are the domains active with sites on? If not then it really is just Sedo or potentially Flippa etc?
If they have sites on, and have been active for some time, the choices are wider and the SEO crowd may be interested.