Don't really know the actual size of the LEDs, but e.g. 5x2 mm rectangular LEDs single or dual are available in any electronics shop.
The ultimate solution for very special sizes is to cut a piece of transparent plastics into the desired size and just glue a standard LED to the back.
