For film-out, they would most likely have sped up the footage slightly to fit within the 24fps rate of 35mm film.
They did, Craig Good mentioned that Pixar at the time was using using an Avid Video Composer instead of an Avid Film Composer for the film out and because of this some shots grew or shrank by a frame on the film out.