Yes, they used the kranks for some time.
ATM jeff seems to be a big fan of the 5153, so I've heard at least.
The krank was used on the godless endeavor, about the same time they used them live as well.
Personally I prefer the peavey 5150 over the 5153 (only for modern high gain I mean), but I'm pretty alone with that opinion atm, everyone loves the 5153, well, it's a great and versatile amp for sure.
Search my YouTube channel, I've just posted a comparison clip