Any Coxeter group Γ, with string diagram, is the symmetry group of a (possibly infinite) regular polytope P. When Γ is crystallographic, we may reduce its standard real representation modulo an odd prime p, thereby obtaining a finite representation in some orthogonal space over Zp. In many cases, the latter group will be the symmetry group of a finite regular polytope. In this paper, we investi...