Well, they are now saying it was not a timing problem but was caused by bad ephemeris data being broadcast. Processing recorded signals with external ephemeris data yielded proper positions. http://www.navsas.eu/node/611