I have now printed a number of other PDF documents using the same hardware, and I am finding similar size variety problems with them. Therefore, I am now convinced that my problem is hardware (probably printer-driver) related.
Thank you all for your kind suggestions. I will mark this thread solved.
Page Layout ⇒ PDF prints various sizes
NEW: TikZ book now 40% off at Amazon.com for a short time.
