Not sure how much roger would sell it for, but I'm guessing over 25 million, even more, if the government or a political force will buy it up.

I'm going off this figure from recent sales from other popular crypto based domain, like the ones below.

Crypto.com was sold for 12 million to a finance project. (biggest domain sale ever)
Tokens.com was sold for 500,000.
Tokens.com was also sold for an undisclosed price, I'd assume around the 2 million mark.
ETH.com was sold for 2 million.

So 25 million is a fair price assuming that it is the most popular domain in crypto, and the amount of political influence someone or something would have with that domain.

I don't think he would ever sell or lease it again unless it was to a pretty trusted exchange, or a bcash supporter, because I don't think anyone is willing to purchase the domain right now, and Roger has already been screwed over by Okcoin before so it'll be ever harder to get the trade through.