Like I added to my first post: I think using 24-hour time is commonplace here. People in a lot of professions use it, from contractors to doctors to government employees.