I can't find my manuals any where, and can't find much on line. Maybe this if you haven't seen it already: http://pagestream.org/?action=Documents&id=53
I just had a thought too - how much RAM does your 1200 have? Pagestream 3.0 may have used more memory than other versions. Wish I could help more.
He could also try increasing the stack size too.