Is anyone going to actually pay $11,500 for a domain name this week?