#2
he's using a digitech whammy or a device similar to that. What it mainly does is increase the pitch of the notes you are playing to what you set it to. An octave above, two octaves below, etc... And it's a pedal and it costs about $200 new or so.