Does anyone know if any of the 7000 series systems will work with RedSky?