Well, it's been a couple of months...
I did get a replacement sensor although that, in itself, took a couple of week - it seems that my K11 isn't that common, or at least that part isn't. And I installed it, and it made no difference! I did check the one I removed and it was working correctly...