Yes...I believe Randy used an MXR Distortion +, I don't know if they still make those tho...I havent been in the market for a distortion pedal for quite sometime. However I think I read in guitar world that the latest MXR Double Shot Distortion contains the same parts as the Distortion + as well as the same parts as Dime's last Distortion Pedal. Check this out for more info.

http://www.mikesguitarsite.co.uk/gear/randy_rhoads/