It's not semantics, "pro stock" and "Super Stock" have and will always be different things. lol.
~ On topic, I have always ran Blinky 17.5 in "ProStock". In my experience, the people running 13.5 and boosted 17.5 in prostock are flying wrecks instead of racers.