When I was doing tech theater back in the late 80s, we used to solder wires that had shorted in audio cables. I expect the wires were much larger than what you're dealing with, and there was all the elbow room in the world. I seem to recall using something like the desoldering pump you linked to, and it was quite useful. Good luck with your hardware experiments!