Daniel Ursu, a mentor on team 1719, has developed a tutorial for ProEngineer. If you want to check it out, go to pegasus.me.jhu.edu/~dursu1
I recognize that many teams are using Autodesk for CAD, but there might be a few out there who are using ProE.