Does anyone know the part number for the Pixel's power button?
It looks similar to an
E-Switch TL1265, but it either has a custom cap, or it is a similar item from another manufacturer, because I don't see one with the power button symbol on their data sheet.
I only know because I happened to be looking at a pamphlet of new products just before I saw your message, and I saw that E-Switch has a new one just like that except it is surface mount. It's the TL3265 series.