After speaking with Jenne and Gabriele, I did a little bit of simulating based on my earlier code that looked at the angle of MICH vs. PRCL, just with cavity detuning instead of macroscopic length change.
The zero point in the following plots is with the PRC locked on the sideband. The PRC detuning was done by changing the PRMBS microscopic length (in terms of phase), and the MICH detuning was done by adding half of the detuning to the BSITMY distance, and subtracting half of it from the BSITMX distance.
This plot is in terms of radians, so to roughly relate it to line width, here's a plot of the POP powers as a function of the PRC detuning.
