Glad it works for folks. I scored a bunch of 3 mm RED LEDs from the local electronic parts store (which also happens to be a Home Hardware) and desoldered the previous disaster. Thanks for making the boards so thick and well-plated, Erik — it survived my ham-fisted lead-free desoldering, and came out good as new.
Didn't quite get all the LEDs perfectly straight, but it's good enough.