Shock open/closed length - bump stop included?

[jps]

Apologies for those of you who've seen the same question on Locostbuilders...

When people talk about 14" open / 9.5" closed shocks - does that include a bump stop?
If so - how thick is that bump stop, (and how much does it compress if you know that)?

I'm having trouble understanding whether I can get suitable Protech shocks - all down to what lengths they are telling me the can supply (i.e. not 14/9.5 as far as they are concerned...)