I actually don't like the Tomb Raider remix. Am I alone?
No. I like the album cut better. I typically don't like U2's remixes. The Reznor Vertigo remix was interesting along with EBTTRT dance mix from the single B-side.
But I'm generally not a fan of their remixes. The single edits are okay and sometimes better than their album cuts, but not so much their remixes.
I have a pretty extreme view on remixes. I think if you need more than one or two mixes for a song, then it's incomplete and you need to finish it. Let the song stand on it's own. I'm not talking different arrangements. Sting does that all the time and his live arrangements are usually better than his studio cuts.
I'm just talking the boatload of remixes U2 has done in the last 15 years. It's overkill.