I managed to do this eventually.
The key was the IP address. When adding the printer through the Add Printer dialog I entered the IP address for the printer (which I had to get via installing an app on my phone of all things) and then that revealed an option to install both LPD and JetDirect links to the printer - both of which then worked without any complications whatsoever using the generic driver from the AUR, listed above.
2 sided printing worked off the bat, as did printing directly from the command line.