535 supercharged first time start up?

I just talked to my cam guy again and he said to measure the pushrod length and add 15,000. Does it sound right