Is there a difference there for a Pixel? I thought those bootloaders have always been unlockable (after carrier unlocking, which should be possible after the contract is paid off).