You'll need to spend lots of time downloading individual files in PDF format that can be printed.
Now for the really bad news, if you search on here and over on USMB you'll see that the overheating is a common symptom of failed head gaskets on your DOHC EJ25. Look in your coolant overflow / reservoir tank for an oily residue or bubbles while the car is running - tell-tale signs.
If you're lucky and only overheated 1-2 your engine may be OK. If not, you should do either a 2.2 swap or get another 2.5. Once they get hot, the bearings tend to get brittle and you'll be hearing (or seeing!) a rod knock - not cool after you've dumped $1500+ into a head gasket job.