Good news. My wife already received an email that 20K AA miles have been applied to her account. We didn't even need to contact them.
This is honestly why we usually try to fly AA. They have nice planes, good customer service, and can make a bad situation good.