I was having the same issue with the stock ROM (haven't noticed it on Mighty4). I never found a fix but here is what I use as a workaround.
http://forum.xda-developers.com/show...0&postcount=45
It changes the SIP depending on whether the stylus is in or out (I like having block recognizer when stylus is out). I found it easier to reset my SIP by removing the stylus and putting it back in. It seems easier and faster than selecting it from the menu.
Thought it might help until someone can find a real solution...