A simple pattern that works well is:
1. On boot, let `TimeLib` read from the Teensy RTC:
```cpp
time_t getTeensyTime() { return Teensy3Clock.get(); }
void setup() {
setSyncProvider(getTeensyTime);
setSyncInterval(300);
}
2. When GPS has a valid UTC date/time, update both...