Thanks, nitpicker.
I still can't (rather don't want to) believe that a professional crew would run an otherwise perfectly fine aircraft into the ground after a temporary failure of one instrument. Guess we'll have to wait for further updates from BEA to get a clearer picture.