I think I found an answer to my question: a user-controlled event header does have a time stamp: https://daq00.triumf.ca/MidasWiki/index.php/Event_Structure#Event_Header -- apologies for the spam, regards, Pasha