How Rich is Mickey Hart?