I am working with VLC on Linux Mint, and need help determining what 
frequencies (KHz) are assigned to channels 4,8, and 13. Is there a good 
doc on this?