Of course, removing the broken spring (to get the part number, engraved on the top) is not as tricky as I thought. Whilst trying to find / buy / borrow or hire a suitable spring compressor, it came to me that I could just cut the old ones in half with the trusty angle grinder, ding! job done. this allows me to get new ones ordered and more time to find a compressor.