Actually -- and I should have posted this a while ago, but have been so frustrated I didn't bother -- I
thought I had solved the problem, but I hadn't. Because, even though I succeeded in finally getting the HP printer to show up in the printer list, and everything SEEMS to be configured correctly, I STILL am unable to get anything to print. No error message; jobs just supposedly get sent to the printer and never actually print. So I'm back to having my son do any Word documents for homework on one of the Macs instead in order to be able to print.