From what the original poster indicated, perhaps they could start by checking the registry first? Simple screen for selling domains that aren't owned?
And note, I'm not sure if the original post was referring to that particular auction site. For myself, yes, I did see the...