Just to add to the above:
"large PDF files" - well, just how large IS large?
Are they printing directly to the printer, or is there a print server involved?
Does that printer have any kind of storage? And how much memory does the printer have?
My gut feeling, is that this is not a network issue....