We recently moved to a Windows 2008 R2 Terminal Server. Most printers seem to work okay with the easy print driver. However we have one user with an HP printer which only prints garbage through the remote session. When I look at the printer properties, everything is grayed out and I can't make any changes. How do I make this one printer use a driver other than the easy print driver?