Look for Doppler shifts up to +/- 15kHz.

We have a data file where one satellite has a nearly 11kHz Doppler
shift.