Lindon-
Rule 6-7-1.
The overtime rules state that in the 4th OT that there is no neutral choice, only TOP BOTTOM or DEFER (Thus called the ride-out OT) in the ultimate tiebreaker. The choice goes to the first person who recorded a point(s). If no points had been scored the the referee shall flip the disk as done after the first 1 minutes SV period. The offensive wrestler will be declared the winner if no point(s) are scored.
So they did not chose to ride-out it was the rules.