How Rich is Jimmy Henchman?