A tool to update maps on GPS devices.