Had Buckethead ever used Tremelo bar(Floyd Rose Tremelo)?

I've seen Buckethead using his trademark "Kill Switch" effect during his performance. Does he use Tremelo Arm(Whammy Bar) like other guitarists like Paul Gilbert, Eddie Van Halen, Steve Vai, Joe Satriani, Carlos Santana, and many more??????