Nem lett volna kicsivel kevésbé körülményes workaround, ha elmented PDF-be a cuccot, és azt nyomtatod ki reboot nélkül? :)