Open the File Explorer and enter:

\\printserver.ist.local

If you are asked for username/password, please use:

[username]@ist.local (as username)
your ISTPassword as password

You will see a list of printers to choose from. Just right-click the printer you want to add and click “Connect”.