I'd definitely choose #3. I don't mind switching, but it's what I'm used to. I'd be OK with dropping it, but if we did, I'd want standard time.

Permanent DST makes no sense to me. Maybe it's my astronomy background, but "noon" means something, something that involves the position of the sun and the earth. We quantize that to timezones for coordination, but it doesn't mean it's meaningless.

If we stop switching, fine, but don't mess with noon. Just change your schedule to 8-4 or whatever. Permanent DST seems like wanting everyone to be above average. Or deciding that everyone would be happier if they're taller, so we're shrinking the foot by 10%.