Does the dollar value of professional athletes add up?