Isnt there a coolsat 7100 reciever out???, but i realized we don't have it on Coolsat Files section... or is 7000 and 7100 the same bin file??