Does anyone know if the vocals were re-recorded for the Mike Hedges mixes? They were some of the best vocals that Bono's ever recorded, really... And on Electrical Storm, as well...