InDesign file naming

[Magpie]

This is what I do.
I print a laser of the indd file - I can always cancel the print in my print manager, but most of the time I need a laserprint anyway - and then print it as ps. This way the right filename should pop up.