I have a brochure from about 25 years ago titled "Beauty and the Beast" that highlighted the 4X5 series and the 2000 and 4000 series like the 4010. There was a 415 of the 4X5 series, but it was only sold in Europe. I did see one, a retired mechanic that worked in a Deere dealership in Jefferson City, Missouri somehow obtain one.