I have the following John Deere service manuals. One that covers the 4200, 4300 & 4400 compact tractors. One that covers the 415, 425, 445 and 455 garden tractors. $125 each + shipping.