auto tune is a type of vocoder and i'm pretty sure he's used other types of vocoders too