There's really too many to list: LRI, SAC, PCR, GAP, Gradous, English, and many many others..
Biggest thing will be wait times. some may not want to work on the proof as there is more risk for them if something goes wrong with the work.
Just contact some shops and see what the say. I would try...