i don’t know if it was recorded with him or not, but i have the version mike johnson played on the ’91 reading festival with j(even if it was’nt recorded that way it fits when you play it with the song
Flat tuning (positive of it)
Main riff
Eb
Ab 6-6-6-6-6-1-1-1-1-1-1-1-8-8-8-8-8-8-8-8-8-8-8-8-8
Then just
Ab 1/8
After
1-1-1-1-1-1-1-1-1-1-8-8-8-8-8-8-8-8-8-8-8-8-8