uy,uy,uy lo que acabo de encontrar:

/usr/local/etc/dvdplayer # ls -l
-rw-r--r-- 1 root root 62380 Nov 28 16:16 VenusSetup.dat
-rw------- 1 root root 29281 Nov 28 02:37 bookmark.db
-rwxrwxrwx 1 500 500 48 May 11 2009 dmem.bin
-rw-r--r-- 1 root root 25932 Nov 22 22:05 dtv_channel.txt
-rw-r--r-- 1 root root 2 Nov 28 16:17 isRTC
-rw------- 1 root root 941 Jun 11 2027 schedule_history.db
-rw------- 1 root root 941 Jun 11 2027 schedule_record.db
drwxrwxrwx 1 500 500 2048 May 11 2009 script

El ficherito dtv_channel.txt tiene la info de los canales, con los números!!!! Voy a probar a ver si puedo ordenarlos a mi gusto...