¡Yay! ¡Lo logré! Finalmente conseguí un reproductor que soporte archivos ogg-vorbis.

Hoy iba por mi barrio buscando otra cosa, y de pronto veo en una vidriera un reproductor que decía a todas luces soportar ogg (un Samsung), pero los delirantes pedían más de $700. Sin embargo, esto me indujo a volver a probar suerte en los numerosos locales que venden reproductores de todo tipo (especialmente de los chinos/s1mp3). Muy para mi sorpresa, en una casa de electrodomésticos, ¡encontré no uno, sino dos reproductores que lo soportaban!

El que me compré, similar al de la foto, el más visto de todos, lo decía claramente en la caja: mp3, wma, ogg. El otro no, un reproductor con soporte para mpeg, pero también andaba. Finalmente me decidí por el primero, que era mucho más barato -y no tanto más caro de lo que se consigue en mercadolibre y similares-.

Así que ya saben, si necesitan uno en este comercio bien medio pelo, me aguantaron una hora rompiendo la paciencia y me vendieron un reproductor de archivos libres de patentes.