Ask HN: How do you buy domain names?

The domain I would like to use for my startup redirects to a page on afternic.com and displays a page with a GoDaddy logo. Plus a form to request a price for the domain. I wonder if it is a good idea to fill out that form? When I search for the domain on afternic.com they display a "buy now" price of $40k which seems very high to me. And there is a "make an offer" button with "$25k min." next to it. Also very high. There certainly are HN users with experience in buying domains. How would you go about it?