I recently got a 5391 9V battery box from S@H to put my RCX IRPD board into. I cut off all but 3 nubs worth of the box from the end with the switch and removed the battery tensioner at that back. The board fits in nicely with just the LEDs sticking (...) (25 years ago, 9-Apr-99, to lugnet.robotics)
