We are using a group policy to push the printers. Of course this is a computer policy so we have to use Group Policy loopback procesing to apply it to the users who are logged in. Below is a screen shot of our setup
There are times when a student logs in when a printer is not assigned. The only "local" printers that are part of the image are a pdf printer so that ends up being the default. We do not have the printer drivers as part of the image but that may be the next step. The printer driver is pulled from the print server down to the image. I am thinking there must be some bug in either View Broker or View Agent version 5.1.2 since all of this worked fine when we were on 5.1.1