The other problem I have with using "sol" to mean "non-Earth day", is that to me, it would make more sense to use it, if they must, for a non-earth year. Or do they have a term already in mind for that? I am a simple man, and it seems like much ado about nothing, when they could just say "Martian day". Bunch of pretentious marssols!