That sounds about right. I've never seen it described like that though, I've only seen [ɕ] described as [ʂʲ], but [ʃʲ] makes a lot more sense.
Yeah, I realize now that I should have been asking about a distinction between [ʃʲ] and [ɕ], thanks.