I think they were supposed to, kind of weird that they don't already do so given that to fix the issue all the satellites need to be relaunched.