Micheladas are not a challenging thing: Pour beer into a glass, shake in some hot sauce or sauces, squeeze in a lime, salt well. Everyone has their own way of doing it, their own set of ratios, their own sauce. I make mine in a can.
To makes things even easier, start with a beer that is already mixed with tomato juice (Sol makes one). I’m really not a fan of the Michelada, but I’ve seen people make them the way you describe starting with the tomatoey beer.