Yeah, Garmin makes a lot more than turn-by-turn driving direction devices. Marine and aviation equipment, for example.
Come to think of it, this drop probably has a lot more to do with TomTom's earnings than it does Google.
I don't see any IPX7 rated Android devices, tho', that's the bare minimum for a GPS for real outdoor use.