Seems a little strange that the software won't allow it to be user configurable. I imagine the DB keeps everything in standard GMT, options in the user settings include Time Zone, DST, and Start of Week, so each user already gets a customized timestamp for everything. Why not the 12/24 option? Weird.