Having bought a second hand copy with no manual, I printed that badboy out at 25% scale (4 pages per double sided sheet), as it was actually needed to go through the tutorials. Took hours and ended up about 2 inches thick.