Does anyone have access to production stats for Big Buck Bunny and/or Sintel? I'd like to use it in class to point out what it takes (personnel, hours, render time, etc.) to produce both of the short films.