Thanks! It makes sense from manufacturing standpoint to use the same spring.
Versandhaus lists their spring as 13,6mm:
https://www.versandhaus-schneider.de...oducts_id/1502
So maybe worth another try? I'm just afraid they'll send me the 14,3mm spring that I already have a couple too many of..