> Take a look who is they registrar and then look their prices up.

So, in case anyone is interested, their registrar is MarkMonitor Inc., with a pricing of "contact us". The only pricing info I could find [0] said that it's 20$/yr for a .com, but with a minimum spend of 10k$ (probably reached by using their other services, such as the stated purpose of monitoring of trademarks).

[0] https://news.ycombinator.com/item?id=18063232