We investigate the pattern of CP violation in K, B_d and B_s mixing in a
symmetrical SU(2)_R x SU(2)_L x U(1) model with spontaneous CP violation. We
calculate the phases of the left and right quark mixing matrices beyond the
small phase approximation and perform a careful analysis of all relevant
restrictions on the model's parameters from Delta m_K, Delta m_B, epsilon,
epsilon'/epsilon and the CP asymmetry in B->J/psi K_S. We find that, with
current experimental data, the mass of the right-handed charged gauge boson,
M2, is restricted to be in the range 2.75 to 13 TeV and the mass of the
flavour-changing neutral Higgs boson, MH, in 10.2 to 14.6 TeV. This means in
particular that the decoupling limit M2, MH -> infinity is already excluded by
experiment. We also find that the model favours opposite signs of epsilon and
sin 2beta and is excluded if sin 2beta > 0.1.Comment: 33 pages Latex with 11 Postscript-Figures (included