You can book Mariachis in all kinds of combinations: Full group, trio, quartet. It doesn't always have to mean trumpets and "typical" mariachi stuff. However, I've been looking around and that seems to be the going rate per hour, slightly less if you have less musicians.