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”.