[time-nuts] GPS down converter question

[paul swed]

I am looking at building a GPS down converter.
LO 1500 Mhz locked to a 10 MHz ref.
The IF will be at 75.42 Mhz how wide should it be?

My question is simple.

What should the IF pass band bandwidth be?
Not sure if it should be 3-4 Mhz, 10 or 15 wide.

Thanks
Paul
WB8TSL