Mike O’Shea’s line of work has taken him to countless dizzying heights, but none so giddy as being included in the closing credits of what is set to become the top-grossing movie of all time.