I'm definitely looking forward to this debate when/if we ever have a permanent mars colony. Will they still use earth/solar time? Use mars/solar time? Some compromise between the two? I imagine someone living on mars could give two shits if the earth/solar time was off by a few seconds, and I definitely don't want to be responsible for handling two entire time systems in my code.