Lol, that's what I get for only reading the clipped part of the post.
Would be great to pick up a domain at auction or TBR like that and be contacted later by an aggressive buyer who'd been trying to buy the domain previously.
It also goes to show why good domains get dropped sometimes, many people working in companies (and everywhere) still don't know or understand the value of a good domain.