I haven't heard the song so obviously I'm not totally sure, but if the distortion is on Richie's vocals then surely it would be the vocoder? I'm just confused that's all; you are right though, vocoder for vocal, talkbox for guitar