Fair enough. Perhaps my surprise comes from the fact that the prediction markets got it wrong as well.

You're right nevertheless--25% is a meaningful probability.