If so, what has changed since it last worked?
You mention 'a user' so is this a workplace setup? If so, see what the IT Department techs say.
When a user tries to print a document, the usual little printer rectangular window pops up but then nothing after that. no error messages. I am able to get at the configuration page of the printer Via entering the IP address in the browser's address bar.
Here I entered default dns. Didn't work.