I don't think the domain name for an open protocol is worth that much.
Is html.com worth 5 mil? I'd guess not.
In any case, HTML is way more well known and used as a protocol.
The whole point of an open protocol is that it's difficult to monetize because that requires locking it down and milking it.