One of my DDs has one of your 4 suggested names and we have never had a double in pre school, school or in any out of school activities. We live in a city too so you would expect at least one.
When we come across another child with her name she finds it really exciting.
In her school there are at least 3 doubles of names and they are all what I would consider unusual.
Choose a name you love. Your child will make the name their own and you will not be able to imagine them called anything else.
Whilst Mumsnet hates my DD's name (and DD2 has what Mumsnet calls a 'filler' middle name) I think their names are beautiful.
Before children, when I was a teacher, I often taught children with the same name in my classes. One year I had 4 Laurens. I can still picture each one and remember their personalities. I can't remember all of their surnames. My point is that it doesn't matter if others have the same name. Your child will be unique.