RISD GD Typeshop
30 N. Main St./ 31 Canal WalkPrinting Studios ResourcesToolsMonitor&Tech hours M–TH 8AM–11PM, F 8AM–7PM, Sa 11AM–7PM, Su 11AM–11PM

Printing

Download printer drivers

Here

When you print (make sure you have the right printer selected) you should see this popup:

Enter your RISD ID number and a job name (default is filename) and click “Print”.
Your file will be sent to the RISD print server.
Release your print from the server to the printer by using a card swipe station or via Mobile Prints.

You can also find the complete list of printers and prices.