Changing time is less expensive than billions of schedules. Noon at solar noon is already broken for so many people, I'm not sure it matters if its off a little more. I do find both equally arbitrary though.