New solenoid service?

I recently bought a K-S1 with ABF primarily for use with my legacy lenses but I wonder if anyone in the UK is offering a solenoid replacement service. I know there are a couple of people in the US but that's not a very cost effective option.
I know it's a relatively easy fix but manual dexterity is not my strong suit.

I repaired my K70 myself and with a set of JIS screwdrivers and fine soldering iron it was fairly straightforward. I understand that John Pye at Marchington Uttoxeter as the official Pentax repairer can replace a solenoid.

I've used the filing method to successfully repair quite a few K-30 and K-50 cameras, and possibly one K-S1 too.

If you want me to have a look I'd be happy to.

PM sent