If she hasn't paid it back yet, she should pay back the gross amount MINUS the FICA taxes.
Many employers tend to ask for the entire gross amount back, but there is no reason to give the employer the FICA taxes back because the employer will/should-be amending their 941s to get FICA back.
