Thanks for the input.
What if you ended up having to pay 25% commission of this domain sale ultimately, in addition to the cost of any commission with a non-GD transaction elsewhere, including a buyer directly contacting you?
Is this a possibility, based on the wording of the Afternic User...