I guess the first option is the one we would have to go with, since converting to UTC would mean that we would be incompatible with our own data.