How Rich is Michael T. Mauldin?