Thanks! Where can I read more about how to modify settings.txt?
Also - is there a way to get video file names back instead of channel numbers?
To modify the settings.txt you would just take the SD card out, put it into your computer, and open the file in something like notepad. Descriptions of each setting can be found on the settings page by hovering over the question marks.
There isn't a way to show filenames instead of channel numbers currently.