Replaces John Deere 3245C Rotary Mower