You are correct about the push rod length. They are adjustable you could go back to the yard. Put a ruler flat against the vacuum booster then put a metal scale against the ruler and measure the length. Adjust the one on your car the same as the one you removed the cylinder from.
I would remove the silicon first as 1/8 inch will make a big difference.