Are these pushrods correct? The ends are not the same size as the stock ones. They are the same length and said 01-10 duramax on the box, but I want to be sure they are right before I put them in.