[daveevad]

You stated here that they paid $850 to initially register the domain name.

https://news.ycombinator.com/item?id=33929354

Do you have proof of the initial price paid for registration or is this in some part speculation?

[oefrha]

According to https://news.ycombinator.com/item?id=33929472 they checked in their system that the domain was billed as premium upon initial registration.