Nobody should stress out too much about not getting a name right. But it's also not ok to not care at all and just go around butchering names without ever asking the proper way or even worse, ask for a nickname because they can't pronounce it (I've seen it coming from a CTO in an all-hands meeting). Both extremes are not ok.