Ok, even though I searched quite a bit, I didn’t find this till now:
That thread completely answers my question and even offers a solution (that’s my exact same craftsman controller).