I agree with Cecil. Officially, the game ended once the run rule conditions were met. Game officially over. Regardless of how many "extra" innings or half innings were played after that, the official score will be score after 4 1/2 innings.
It's the same idea as bottom of the 7th - game over as soon as home team has the lead.
__________________
Tom
|