All the info is here http://forum.mysensors.org/topic/224/iboard-cheap-single-board-ethernet-arduino-with-radio/3
There are enough digital pins to drive the 3 leds.
As for the case i just happened to have a box of them from an old wireless upgrade project. at work. Maybe check ebay for some non working/old ones ?