[@Rabidporcupine]
Nah it's totally fine man - honestly, it's probably pretty likely that a few kids in a high school are gonna have the same given name. Hell, probably a few will have the same surname if it's generic.