He selected the 4250 driver. It was close enough. The printer didn’t know the difference. Printers lie about their model numbers all the time. It was a professional courtesy.

“I already did.”

“Then reboot it twice.”

At 4:02 PM, the bar hit 100%.

Leo plugged in the USB. He clicked "Have Disk."