Yes, it could say alpha for all I care. As you say, the sun dictates the day, not our clock, but the grindset is so entrenched that it’s easier to change clocks than individual work settings.

If Spain chooses to continue to synchronize opening hours with central Europe, they can do that regardless of what the number on the clock is.