Did anyone ever figure out how many were pre-mined?