I thought that comment simply related to whether or not high-performance timing is available? What's important here is the origin used by the RAF time. I'll investigate.