Mixer for drum kit microphones

Rocker

My friend has a set of 'drum microphones' and he wondered if there is a mixer available that can take up to 5 microphones and have a single output to the PA system.  I checked on the Thomann site and found this: https://www.thomann.de/ie/the_tmix_mix_802_2.htm?sid=b9df3563ff19541406e23b7b81daf653

It seems to fit the bill, does not cost a lot and as it will not be used very often it might be the answer.  Anyone here any knowledge of these items and/or suggestions for a better mixer or a cheaper one.  Thanks as always.

steamabacus

I know nothing about those own brand Thomann mixers but Behringer do some very affordable small mixers. I have a couple of various sizes and they've always done a good job. I've heard their larger mixers can be a bit fragile for live work but I've never had a problem with the smaller ones.

This would be the Behringer equivalent to that one you listed  ..
https://www.thomann.de/ie/behringer_xenyx_1202.htm

or maybe this would be more suitable, 5 'proper' xlr mic inputs and faders rather than knobs for volume (which I find is easier for live mixing) ..
https://www.thomann.de/ie/behringer_xenyx_1002_b.htm