re: True enough
The problem, however, is in the terminology of these solids as "ices" (which implies relatively cold solids). They are not "cold", are they? Well, I suppose 10,000C is relatively chilly compared to stellar core temps...
High temperature/pressure solids need a different term than "ices" if there is any intent at all that people outside the field of the planetary sciences understand what's being described.
But then, maybe that's not the intent at all! ;-)