TPG.Rush.Finish

End a Rush round that ran out of stages rather than tickets. Whoever holds more tickets wins, which is the same rule every other mode ends on -- stages are how tickets move in Rush, not a separate scoreboard. A dead-level tie goes to whoever took more stages, and only a tie on both is a coin flip.