No, I haven't, and this might not help!
But it looks like you have all the information you need there!
Is there anything in particular you wanted to know?
Personally, I have found it much easier to take the cartridge out and measure it properly to find a replacement.
However, as many on here will testify, often taking the cartridge out and leaving it to soak in some descaler, will bring it back to life!