That space shuttle thing is a different idea for a different problem. They use best 3 out of 5 to protect against transient corruption primarily and errors in implementation as a second factor(I think, if they use a single implementation then this is a non factor).