Don't know much about procomp heads, but it certainly sounds like the "machinist" never actually checked the install height of those springs, and they are binding.
Hahaha I like it, you think he will go slower with better tires regardless of the gears... haha
My guess is close to 14.00, maybe 14.1 and thats with either gear ratio.