Did you know that among the all-time head coaches in William & Mary Tribe football 's history, three have been inducted into the College Football Hall of Fame and one other into the Pro Football Hall of Fame ?