Where is the GPS Antenna located on the Pixel1?

I have 2 first gen Pixel’s that are both running Android 10. The GPS on one is completely shot. It is not a software issue. I can side load a fresh install to both and use the same account with the issues being limited to the one device. I want to try replacing the GPS antenna when I replace the battery, but I do not know if it’s located on the motherboard or if it is pin-pad connected to the back of the case. Can someone shed light on the actual location of the GPS antenna?