Há uma boa chance de que seu servidor de terminal não tenha os arquivos de driver em seu banco de dados. Descubra o modelo da impressora que ela está usando e instale esses drivers em seu servidor de terminal. Dessa forma, quando ela se conectar, será automaticamente uma impressora em sua sessão. Aposto que se você verificar seus logs de eventos no servidor em que ela estiver efetuando login, haverá erros sobre as impressoras não serem reconhecidas / instaladas.