Hmm, I'm not an experienced engineer, but I did some analysis with double sided contacts on shell elems, on 6.13-4.
Firstly, I was always told to be extreamly careful with SMALL SLIDING contact forumulation, especially on curved surfaces, so I'd adivise trying finite sliding.
Secondly, last time...