Thanks for your answer, Jason.
The only snag is the MPN (or type) 5133-13-J6P is nowhere on the UK supplier’s site I bought from, or any other UK supplier’s site.
The Bison MPN/type given on the page I bought from (and on other UK suppliers’ sites) is 5133-13-J6KLI (as opposed to 5133-13-J6KLII, which is the standard precision version, not the high precision one).
So, where does 5133-13-J6 P come from? Is it the new Bison MPN/type designation for 5133-13-J6KLI or for 5133-13-J6KLII, or for neither? Internet searches aren’t proving fruitful.
I’m in communication with the supplier I bought from but replies so far haven’t got to the bottom of the problem.