>>Most likely different printer drivers.
>>
>Yes, that's exactly what I'm thinking as well. She tried with the different default printer and it worked fine for her.

Perhaps different fonts? Are there any settings to automagically change TrueType font with equivalent printer built-in font? I'd seen such selections cause weird stuff to happen.