Did you know that W. Harry Vaughan founded the Georgia Tech Research Institute in 1934 with a budget of $5,000?