You basically have three choices:
1) put it up for auction on NameJet or GoDaddy and sell it for a wholesale price (immediate cash probably in the $15k-20k range)
2) do some outreach to potential end users and maybe find a buyer for somewhere between wholesale and lower retail price (may take a good chunk of time and effort, and may or may not be successful)
3) keep waiting for an end user that wants it really, really badly to contact you and possibly sell for more than you ever thought possible (may take years before this happens, or it could happen tomorrow, who knows)
So really it just depends on if you need cash now or not. The choice is yours. Best of luck! (feel free to PM me anytime if you have questions or need advice)