What was the name of the bull Lane Frost rode in 1987 to win the championship?

Lane Frost rode a bull named "Red Rock" in 1987, which contributed to his championship win that year. Red Rock was known for being one of the toughest bulls in the sport, and Frost's successful ride on him was a significant highlight of his career. Their performance exemplified Frost's skill and determination as a bull rider.