Arn, thanks for that change. But you were right about Forum Spy - here's what happened when I switched preferences.
It went from PM to AM and did not go to 24-hour format. The AM/PM change happens at the point when a new post in displayed. The time is correct in the posts themselves. I saw this once before just after I joined.