He just got back to me. He had 15 sets made, 6 springs each and it was $2000 so yes expensive. And they were smaller springs, not sure if that matters.
Those green ones pictured look like the ones I have but mine are a darker green. I checked my inventory list I made and they are 3694516. I also have 4 of each side for the brake shoe adjusting screws. Must have been a common part to replace back then?