Normal
In the case of our US provider Dish Network they are using them for foreign TV services, US HDTV and 'others' such as college/university extention programs, etc. A lot of these, especially foreign TV services, are aleady in the first 1000 but maybe they are gradually migrating to 4 digits or something.
