I have seen the gearbox off and had a look at the said ident springs mounting points actually myself .
visually you can see that the mounting points are blanked by these plugs as you say
but the question is this if the garage manage to get to these 2 springs
and replace them
how then to plug up the holes again - and damaged plugs
Ive seen the diagrams also as there are 2 versions
one were you can extract all 4 springs and one where the diagram only shows extracting of 2 springs