There does appear to be a glGetTexLevelParameteri overload in MiniTK, was there a problem there?