No, I did not. If I see it a second time, I'll watch for it.
So this film was f**kING AMAZING. 10/10, easily. I think it might actually be better than Wrath of Khan. Speaking of which...
Spoiler
I knew it. My suspicions about who John Harrison really was were correct all along. It was too obvious from the get-go.