This solves the problem for those interested:
1. Make sure the printer is recognised by the base station.
2. Select 'Add a new printer' in Windows
3. Select 'Local Printer' in the dialog box (auto detect and install
should be off), click next.
4. Choose 'Create a new port' and "Standard TCP/IP Port'. Click next.
5. For the printer IP address, enter the address of the base station 10.0.1.1. The port name will be filled automatically. Click next.
6. For the device type, choose 'Hewlet Packard Jet Direct', then click Finish.
Choose your printer from the list and follow the rest of the prompts to install and configure the driver
1. Make sure the printer is recognised by the base station.
2. Select 'Add a new printer' in Windows
3. Select 'Local Printer' in the dialog box (auto detect and install
should be off), click next.
4. Choose 'Create a new port' and "Standard TCP/IP Port'. Click next.
5. For the printer IP address, enter the address of the base station 10.0.1.1. The port name will be filled automatically. Click next.
6. For the device type, choose 'Hewlet Packard Jet Direct', then click Finish.
Choose your printer from the list and follow the rest of the prompts to install and configure the driver