Where is the GPS chip and antenna?

Since there’s no teardown of the non-XL Pixel, I have no idea how to identify where the GPS module and antenna are. Mine is currently not working (verified it’s not a software issue), and I’d like to see if maybe there’s a loose connection or some soldering I could do.

crwdns2934089:0crwdne2934089:0 crwdns2934093:0crwdne2934093:0

crwdns2934109:0crwdne2934109:0

crwdns2889612:0crwdne2889612:0 2
crwdns2934285:0crwdne2934285:0