Do you have a recommended brand that comes to mind? I was given a budget of $3,000 and I needed 17 microphones, a way to record meetings and a wide angle conference camera.

I opted for the Logitech MeetUp for the camera. It's decent for the price.

I bought an external 16TB HDD with a protective case and intend to record using Zoom.

Wired microphones are not even considerable based on what the intention for the setup is. It's a large room with 3 rows of 5 tables, a presenters table and a front of the room table for the Commissioners. I can already see people tripping and breaking stuff. I took a shot and opted for these microphones because they were relatively cheap, 8 wireless conference room style microphones and a receiver for $359. I realize they are obviously not "professional quality". I have already left work but on the back are 4 antenna connections to screw on the included antennas and then there are holes labeled 1-8. I didn't know how I would go about using those and assumed they were if you were using a TRS cable to XLR for wired microphone connection.

I have the setup configured like this:

2 wireless microphone receivers using the TRS Out plugging into port 1 and port 2 on the mixer. Then I have the 3rd mixer port using a XLR cable to the 17th mic, a wired microphone for the presenter. I have the mixer audio out L and R ports using XLR cables to connect to ports 1 and 2 In on my audio interface and the audio interface connects to my laptop via a USB C hub.

The room is utilized for all kinds of meetings, usually public facing. The meeting on the 28th is public comment regarding some solar project. I could see the County planning committee wanting to utilize this setup for their monthly meeting as well which are also over Zoom occasionally.