The numbers that you've quoted just seem to be supplier stock numbers, for your info the front springs with single YELLOW BLUE ORANGE, are VW Group p/n 5Q0 411 105 CP which seem to be Sachs 993 923 as genuine Sachs supplied parts and Lesjofors 4095126.
Now, I seem to remember that the number on Lesjofors springs that I bought were different to the applications listing but the same as what was on their boxes - plus other Lesjofors numbers were on the boxes - but that was over a year ago.
Autodoc still supply Sachs branded springs but they are normally more expensive than Lesjofors from them.
I do understand that you are leaving this to your garage to source the parts, but I'm just posting this info in case someone comes across it in the future while searching for this info.