I would have probably went full Karen and asked to see his manager. Mistakes happen. Sure... I get that.
But, the way he was handling it and picking at it. Just uncalled for and then dropping it. I would have been livid and raised a crap storm. I would have minded my p's and q's. But, I would give them an earful of polite complaining.