In most professional sporting events that involve some form of ranking system to determine an overall winner, or progression into later stages, there are a series of tie-breaker rules to determine a winner / loser when the primary ranking metric is tied across two or more competitors.
For example, for the 2018 FIFA World Cup, the tie-breakers for the group stage were as follows:
- greatest number of points obtained in all group matches;
- goal difference in all group matches;
- greatest number of goals scored in all group matches.
[...]
- greatest number of points obtained in the group matches between the teams concerned;
- goal difference resulting from the group matches between the teams concerned;
- greater number of goals scored in all group matches between the teams concerned;
- greater number of points obtained in the fair play conduct of the teams based on yellow and red cards received in all group matches;
- drawing of lots by the FIFA.
https://www.fifa.com/worldcup/news/tie-breakers-for-russia-2018-groups
Quite a lot of these tie-breakers end a coin toss, or another "luck of the draw" type scenario, to determine the "winner".
My question is: has any professional sporting event ever had to use its final "it's down to luck" tie-breaker?