Welcome to the site. I'm not familiar with the Hot Tubes pedal myself, but of the other three, I would say you can get the tone you are looking for out of any of them, really. The problem with distortion pedals isn't usually getting a full-on mondo crunch like metal works best with, it's more often getting a mild overdrive for blusey stuff without them sounding thin or constipated. SO I'd say take your pick. The solid state stuff can be edgier sounding, so you might be happier with the regular
Big Muff Pi , or a
Visual Sound Jeckyl & Hyde pedal than you think, and it will cost less too. You ought to be able to pick a solid state Muff up on ebay for less than $50, and the Visual Sound J & H ought to go used for around $100.
If you wanna spend the money on a tube pedal, more power to ya, and I think any of them will get you a cool metal tone. But you might as happy or happier with a solid state pdeal for less.