That's different to a Toyota owned injection shop. Almost any injection shop should be familiar because the DENSO rotary pump is based on a Bosch design.
If a shop didn't have experience on Denso/Bosch types, I doubt they could repair anything competently.
You have to be wary of shops that want to learn on your pump. Seen too many on this page.