GPS: set update frequency

You'll need to decide which sentences to pass to the tinyGPS encoder and throw the rest away.

Figuring out which you want would be easier if you cast the int you're getting from read to char thus:

    Serial.print((char)Serial1.read());

You could likely get rid of all the code relating to 5000 in this circumstance too.