24 fps, not 60. 60 fps looks like a TV show or game, not the nice cinematic look he's got going in the movie (you can also confirm this in your movie player, the movie is indeed 24fps)

So more like 9.5 x 60 x 24 = 13680 frames, say 15000 including excess and bad frames. 15k frames at a semi-slow 5 mins per frame rendering is 1250 hours of rendering or around 52 days. Even if he did it all on a single system and rendered at night, say 6 hours a day, that's 208 days or 6-7 months. Entirely doable IMHO.