How Rich is Phil E. Hartmann?