How many players on the colts are making the HOF?