Brian offers the 4-LED version of the board as a separate sale or not. Even so, I get the impression he's behind in shipments, so I'd be curious to know if I have any alternatives to getting a 4-LED board made. For instance, aren't there online sites that will produce a PCB from uploaded plans?

There's a few places that will make PCB from plans and such - usually there's a minimum size of 4x4 (meaning that if you go under, you still pay the 4x4 price.)
I'm using one of those (don't have the URL handy, at work.) for my RS232->TTL+5V converter board for the remote display ..

Me.
_________________________
Mike 'Fox' Morrey 128BPM@124MPH. Love it! 2002 BRG Mini Cooper