No, I retired at the beginning of 2000. I agree with your recommendations to trhe Romanian woman. The State Department recommends that the traveller should use their US passport to leave and enter the US.
Federal law *requires* that a US citizen enters and leaves the US using their US passport regardless of whatever other passports he/she might hold.