I was wondering if anyone knew if there is a way to change the clock in my WK to 24 hour time format? I cannot find instructions on this in the manual.