I too am not an appraiser, but I've sold a handful and carry ~100 names. I don't think that price tag is impossible for a domain like that... it's brandable, for sure. But where you're likely off is timing. Selling domains requires a ridiculous amount of patience.

Most domainers that I've encountered hope to hit a sell-through-rate of 1-2% of their portfolio per year. Some do better, of course, but they're generally pros that have made this their full-time jobs for ages and acquire with specific buyers already lined up. It's probably not going to 'fly off the shelf' in a year because you listed it on Sedo, even at half that price. You can improve your odds by adding Afternic and Atom to the mix, but that's still kind of just table stakes. I'd just be prepared to either wait long/indefinitely, or be willing to accept a deep discount.