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!)