How Rich is “Jack” Gavin?