Help needed on sourcing jack socket replacement for Boss DC-2

[God-AM]

I'm not a pedal builder and have no knowledge on parts, I have come here seeking advice.

I need to replace the input jack for my Boss DC-2, its a mono to stereo jack. I phoned the local tech and he said it's very tricky to find suitable jack sockets for these pedals, the circuit board is absolutely crammed and they pushed the design to the limit leaving little space left, as a result the jack enclosure is smaller than standard (apparently), he said I would need to ask online.

Does anyone know the exact jack socket I should buy to replace?

A photo below of the current socket

[ElectricDruid]

I don't know whether they'd be suitable, but the Lumberg Jacks are about the smallest I know.

https://lovemyswitches.com/1-4-mono-jack-lumberg-klbm-3/
https://lovemyswitches.com/1-4-stereo-jack-lumberg-klb-3/