Kind of off topic, but how much did do.com cost? I understand if you can't share this, but if other people have purchased domains of similar status I'd love to hear about how it all went down.