If he hasnt touched it yet id find a old set of forged that need a lot more the oem clearance and hone it. Or just simply go .020 0r .030 it not like its going to get 50k miles out on it. Or Sleeve that one cylinder if you must.

The shop should already of known .010 might be hard to find after all these years and most would of recommend the normal .030 overbore I would of thought.

A good shop will leave 3-5 thousands out of the bore job to hone to fit the new pistons.

So again im thinking why was the shop thinking going .010.

Or last ditch, I see in your parts hunting you have very deep pockets, just get some made and never look back. Whats an extra grand in the project in the big picture.