The best way to get the IP address of a printer is to print the configuration page.
(From Page 105 of HPLJ4250UserGuide)
To print a configuration page at the control panel
1. Press (SELECT button) to open the menus.
2. Use (UP button) or (DOWN button) to scroll to INFORMATION, and then press
(SELECT button).
3. Use (UP button) or (DOWN button) to scroll to PRINT CONFIGURATION, and then
press (SELECT button).
4. Look for the JetDirect or TCP/IP information. The numbers will look like 10.5.254.16.