At the time of writing 24 hour digital clocks were very common in UK train stations. All rail services in the UK are always in 24 hour form. So there’s a good

At the time of writing 24 hour digital clocks were very common in UK train stations. All rail services in the UK are always in 24 hour form. So there’s a good chance he just picked 15:39 as a familiar train time.