Given the timing and who's involved, I'd guess it's probably Fledermaus. ArcScene is another possibility, but at that time, it struggled heavily with high quali

Given the timing and who's involved, I'd guess it's probably Fledermaus. ArcScene is another possibility, but at that time, it struggled heavily with high quality output. These days, there are a number of other options.(Fledermaus is still quite nice, though!)