Nah, not quite. You simply need the EU residence card - which is quite easy to get provided she has an address and a job here. They don't actually care about the amount of time in the country - what matters is that she has the card which proves that she's going to be resident for more than 185 days a year.
Nonsense, I know ;)