who are the top 10 highest paid nfl coaches?
['Bill Belichick: $12 million.', 'Pete Carroll: $11 million.', 'Jon Gruden: $10 million.', 'Sean Payton: $9.8 million.', 'John Harbaugh: $9 million.', 'Matt Rhule: $8.5 million.', 'Sean McVay: $8.5 million.']