[sudo-discuss] status of 3d printing at sudoroom?

Hi all, I am new sudoroom/CCL member and trying to do some FDM printing here for an open-source project <https://fbrc.dev/>. I'm writing to ask the status of 3D printing at sudoroom - the sudo-prints listserv looked dead on the mailing list manager.  Right now it seems only the Artillery Sidewinder is operational, and it takes 1.75 mm filament. There are a lot of other printers in the images attached, but they don't seem to be in use. There is also a lot of filament around, but it is all 2.85mm. 1. Is the Artillery Sidewinder the only working printer? 2. Are there plans for the other printers in various states of repair? 3. Is there any collective purchasing of filament/nozzles etc. for printing at sudoroom? 4. Is there any interest in collectively purchasing a faster/more reliable printer for the space? 😇 Cheers and thanks! Kirk