Provided that her pedal spindles are steel, just switch to a
1/2" x 1/8" neodymium magnet stuck to the end of the spindle. The cadence sensor for my Garmin came with the crankarm-mounted magnet, I never even took it out of the plastic. Been using the rare earth magnet on the end of the spindle as long as I've been measuring cadence.