RE: Raspberry Pi 4 GPS HAT recommendation