The message
from dave contains these words:

Anyone know where I can get some small (compression) springs from (eg
~2mm diam
x 10mm long)? I'm trying to repair a few locks that use them. I see a kit of
springs on ebay but they are too large.

My local car shop has little dangly blisterpacks, one of which has
tiddly springs.

--
Skipweasel
Pay no attention to that man behind the curtain.