We study a Siegel-Weil identity between a theta series and an Eisenstein series of genus three. In particular, this yields a Siegel modular form of genus three whose Fourier coefficients count the number of arithmetic embeddings of definite quaternion orders into the Coxeter order of integral octonions.