Make time difference between GPS and system time publicly visible.