Too late for some of the registration measures that the police and schools of the area encourage, but if she gets a new one, she should keep records of the registration number, sale date & price (in case she can get tenant's or owner's insurance or something to cover it), and locations she's registered it (near work and home).

Sorry to hear it ... :(