"Airlines" did not make fun of this name. An employee did then others joined us.
I would be shocked if it is not a name invented, invented to be unique and attract attention. Maybe the parents have heard about it somewhere, maybe not. I could also see that it was a cultural name, but after seeing the mother, I guess that's not the case.
Even if his name is obnoxious, you will not go after a child, in front of something for which they have no control or no defense power.