Thank you, all!
I was thinking, to be cost effective, I’m going to file the I-90 and get the ADIT stamp so she can travel. She’ll then receive the replacement green card (hopefully faster than 23 months), then I’ll work on her citizenship application maybe next year or so. This way, I’m only paying for replacement green card and ADIT stamp and don’t need to pay for citizenship application until later.
Also, with the police report, this is needed for the ADIT stamp and not the actual I-90 application, correct?