Does anyone know if El Paso is going digital if so, when and what type fo system they are going to get?