Re: the various comments here relating to IP ownership for work performed outside of office hours; what state are they in, etc --- this seems to be quite another thing than "dude works on his side gig in the evening" because it appears that they're actively working against the interests of their employer (and not just "greater IBM", but the specific part of IBM they work in), and have already argued against instructions to cease doing so.