Thank you! I haven't yet — I sort of got the impression from Jimmy's that grommets of the size I need weren't really used for shoe repair. It is a bit larger than a typical eyelet and I can't see that there'd be much demand for it at a shoe repair shop.

Savas is on my list of places to go, but I remembered that people in this community know everything.