They were not but I found a pair with "MP3" printed on them ... coincidentally the same day I began playing with the vintage Sony Walkman CD Player. It also sounded terrible.
It was all so promising for the Sony NWZ-W273 Walkman MP3 player but ultimately it failed to impress in the area that it talked up the most. It ticked the important comfort box and was secure ...