Diesel Turbo Kit for the John Deere Gator HPX after serial number 40,000