I am looking to purchase this tractor from a friend. He got it used as well. He believes it to be the 3500 Industrial model. The power steering pump is out, I am looking into that as well. I have called 2 New Holland dealers, neither can tell me if the numbers I have are actually to the 3500...