How Rich is Richard E. Thomas?