Not sure based on the photos. Some shots suggest the fork is bent but other shots do not show obvious damage. I'd trust the shop opinion that actually examined this fork in person over what this forum can speculate from photos that may just be dependent on the angle/lens.