If Roge offers it for sale, Did you think that theymos will buy it? I don't know but I think he has enough money and motivation to do it.
I don't think theymos has a few spare millions to blow on a domain. It's more likely that it would be bought by Jack, Twitter and Square CEO, or maybe Tim Draper if he feels it can help him business-wise.
It's a great domain for sure, but the thing is that not many people can put that domain to work in an efficient and profitable way. Roger has shown how to turn it into a money making machine and symbol of power.
Roger has enough BTC left he can dump to finance his businesses. He would do everything to not sell it. At the end of the day, just keeping that domain will only cost him $10 a year. Not a big deal.