Ear phones/head phones for a 2 1/2 year old

[annobal]

Can anyone recommend a brand of ear phones or head phones for a 2 1/2 year old? We're going on a long haul flight soon and taking the portable dvd (even my tolerance for the Thomas music runs out very quickly!)

I would get the external type rather than the internal type but other than that doubt it matters too much. The cheapest you can find so it doesn't matter if they get lost/broken is probably the order of the day :)