What were the credentials of the kids that placed above him at kids' state? Hentzen, Mainz, and Hocket were all tough kids. Just curious how they did in their respective classes in HS that year.