I do believe when it says its a 3010
Series printer that just means its one model in a rang of printers, (3010, 3011, 3012, etc). They likely all use the same
driver and its probably the driver thats adding that message to the printed page. If it says HP LaseerJet P3015dn on the front of the printer its a HP LaseerJet P3015dn. Why the server lists it as a HP LaserJet3005 I don't know? Incorrect driver installed maybe?