Print to the Network From a Laptop
Open up a command shell and type in the following:
net use \\KORE /USER:CSDOM\[mst3k]
Where [mst3k] is replaced by your username. Enter your password at the prompt and await successful login to KORE.
After that is finished, use the normal method of adding printers to Windows machines.
To add department networked printers available to your laptop, edit /etc/cups/client.conf to include the following lines:
ServerName cups.cs.virginia.edu Encryption IfRequested
Then, restart CUPS:
sudo /etc/init.d/cupsys restart