I don't have one but have used others. Since .2 inch isn't very much at all I would just trust the manufacturer's measurement and order the 5.0 inch size small.
Tightening down the laces should allow it to grip the buttstock better.
But my opinion is only worth .2 cents!