Anyhow, next project is this, a minimal enclosure for a little aliexpress DC vacuum pump with a USB socket to give it 5V directly. The best USB socket, of course. For my portable repair setup, such that I can connect it to my T12 desoldering tip. As opposed to what I've been doing up until now, putting the silicone tube in my mouth and sucking the solder into the copper wool compartment.