Why not just buy the blue spring steel and cut your own. Most pinball supplies sell it and it cuts real easy with a good quality pair of scissors.
I had to do the same thing on the two Dirty Harrys that I bought as the ramp flaps are impossible to find.
Darren.