It seems that Channels has a predetermined list of channel numbers assigned for each channel. Assuming I am correct, is this list available somewhere?
Edit: I found this post after the fact and seems to be the only list out there -> Channels Service Provider TVE Channels