[mcrowder]

It has happened around here in the past, and it was either handled exactly like you did (properly) or screwed up and replayed later. Like you said - if there is even 1 tick left when the final out is made, the next inning has started.