Hi Andrew,

I got them to check, and they are printing to their default printer.