reading your stuff is like throwing minutes of my life away.
He who Queens last, Queens best!

4. Re7+ wins, unless I missed something. Force the trade of Rooks, then the Bishop can stop the Pawn.

I don't think it does...
4. Re7+ Rxe7; 5.Bxe7 Kd7
White can now protect Bishop and pawn simultaneously with 6. Bf6 but this doesn't stop black queening the pawn, and the minute White tries to advance that pawn, the Bishop and the pawn are at risk from the Black King.
I'm not sure about 2. Re7+ either, after Kd8, I think it's entirely necessary to dispense with the Knight and create a piece advantage, which f7 achieves with little trouble
reading your stuff is like throwing minutes of my life away.
Can you not be rude....!Was that an online or a live game?

reading your stuff is like throwing minutes of my life away.
I was going to say the same to you, Luke.
Here's a dual Queen race from a game I played a while ago, although the final Queen did not actually arrive on the board, the threat was enough to end the game; the first time I've seen a resignation on account of a not yet existing piece!