That lift is around the mark of those in standard condition.
When I profiled my 88250 cams thay came out at 10.355mm lift, which is pretty much the same.
The great thing about the cams that you're selling there is that they have an older style, more aggressive lobe and also have the adjustable timing gear with the central bolt and the four holes, right?
Good luck with the sale, I'm sure someone will want these as a mild upgrade for their later model cams.