What bass drum pedals did the Rev from Avenged Sevenfold use?

[jack]

I know he used dw hardware, but I wasnt sure if he used 5000, 8000, or 9000 series pedals.