Yes! You are right, that's the vibrato, but it sounds a lot different than if i play a vibrato with a normal distorted tone... it has got something to do with effects! Try do do the same on your guitar, it won't sound like that!