Although it should be pointed out PRMan wasn't the only renderer used for quite a few of these movies (definitely the later ones) - multiple studios work on movies these days, and other renderers like Arnold and VRay until a year ago were very close to knocking Pixar completely out of the market (even ILM switched to using Arnold for a couple of years).