I didn't, but liked the look of them so much that I bought some on Wednesday and they arrived yesterday.
I bought size 6, they measure 40cm around the very top.
That said, they are a bit too big, I was going to just wear thick socks to save the faff of returning them, but on first wear the zip on one of them broke open. I mended it and the same thing happened on the second wear, so it wasn't a one off. I'm returning them, but have ordered the same boots in a 5, so when they arrive I can measure the top of that size for you if it helps?
Thanks for the pointer to branch 309, it's super cheap!!