How Rich is Mike Mills?