User Manual, VelaSync 1232 High Speed Enterprise Time Server, rev 4