Joie Jadine pink mules with “diamond” embellishments size 9 IN BOX

Joie pink velvet mules Elegant Size 39 per bottom. Inside it does say 38 1/2. Gently used. In great condition. Very sad to see these go- too small for me- I’m a 9.5. They would be great on 8.5 or 9. Color is called Ballet IN BOX