@ryanc that is fascinating!
I have a dataset of first names given to babies in the UK between 1996 and 2015, from the ONS. The probability that two people with the same first name have different recorded genders is about 4%, which isn't far off the number you were given.