You might want to take the auction to Flippa, as I can guarantee no one here will pay that money.
This guy's probably right, you'll entertain a much wider market and prospective buyers there with different interests and goals. But I personally can't see how this domain could be worth $15k buyout.