Ya, these aren't a bad choice.A used Randall RG1003H is probably best option. I know guys that love if for that pantera FBD solid state
Personally, i'd suggest a Randall rg100es boosted with a MXR 6 band but those amps are getting pretty expensive. It's best to find a rg80es as they're basically the same amp (a little less wattage, but that's no big deal cause they're really loud) but they cost much less. Or find a rg80-112sc I think it's called?? it's the combo version, which is even cheaper.