The advertised compression was well under what we got when working mine out.
I grabbed the 9.0's as I am going turbo. Turns out I have to run a really thick head gasket to get it down to 9.0.
I can't remember the finer details but I used to have a set of 11.0's which when worked out, it as over 12.0.
Thats the short story....