Mini-T GPS Disciplined Clock Documentation