Hi Dan,
In the documentation for ZetaZero there is a definition for the Gram point function
gp[k_] :=
Block[{t},
t /. FindRoot[RiemannSiegelTheta[t] - Pi k, {t, (1/4 + 2 k) Pi/ProductLog[(1/8 + k)/E]}]]
Using that definition, the results in GramPoint.nb and GramsLaw.nb can be reproduced.