That's a nice display you have there williefleete!
I see you prefer 24h format as well. Here is Australia, we seem to get thrown in with the US market sector, and all of the clock radios are 12h format. But, I took mine apart, looked up the datasheet for the clock chip, and found a 12/24h control pin, so I was able to modify it to my liking.
Actually, my current alarm clock is the Linux 'cron' command on the file server running an mp3 player. This way, you can automatically have different alarm times on weekends...