QuoteShe sent in her Pixel without wiping it first? :o
She should have, definitely. I thought that it was absolutely mandatory for device repairs. It is mandatory when you send your device back to Google for cashback, when you buy a phone on their store.
QuoteOr locking it, for that matter.
No, she couldn't have done that. The repairmen must have access to the device to test it and make sure their repairing job is correctly done. The behaviour customers are expected to follow is to wipe their device, start it and set it up with no Google account nor locking, before sending it for repair.