I just purchased a International Cadet 75. I wanted to know some more about these mowers. I saw they called them "bathtub" mowers, but I don't really have any more information. I have the ID tag, but was interested in knowing what year mine was manufactured, if there were any PDF files avaliable...