Yes, she did! We were happy to supply them, and they fit just fine. It was a challenge converting European sizes to American and then factoring in the wooly socks!
Perhaps someone can take her a pair of summer ones.
If I"m not mistaken, Crocs don't come in half sizes. We got her a ten and I dithered about that (in fact I ordered a nine and then sent them back for a ten) so I'd get a nine in summer styles.