Looking for a RED E mag release kit for Ruger MK1 or MK2

[mr ed]

Just thought I would put this out there.
Back in the 80's-90's Red E made a stainless thumb release kit for the Ruger MK1 and MK2
22 pistols.
I had several, but sadly they were all lost in a boating accident on Lake Texoma even though I have never been there.
I just got a couple old Ruger 22 auto pistols and thought of these kits.
So, if anyone has said kit(s) of which they have no use. I would be interested to purchase.

 

[mouthpiece]

I had to go search to figure out what that was. Not much out there on them
Found a pic