A user sends a print job to a network printer and its prints page after page of random characters. He calls the Help Desk and a technician discovers that somehow the wrong printer driver had been loaded on the user's workstation. The technician loads the correct driver, verifies that the system works correctly, and documents the resolution.

What else should she do?