I was always told, tie goes to the runner. It's too close to call. Great effort by both players.