How Rich is John Holmes?