🥕Red Earbuds - Airline

These are red earbuds with a standard 3.5mm jack. They have a wired connection. I believe I got these from one of the airlines, but can’t remember which one.