After a direct measuring, it was found that Cherry is Size 11.5 (US)Initial Size 9 (US) sizing was an estimate.
Boots+Sandals+High Heels. Best of three worlds!