I took a chance and bought a W126 spring box on Ebay. Got it installed today in my W123. The W126 spring box itself was exactly the same as the one I had, minus the broken springs, of course.