I'm not sure his pixel would have an unlocked bootloader, since it's work issued and probably already has a carrier.