User Manual, VelaSync 1225 High Speed Time Server, rev 2