Flat LEDs?

Does anyone have a part number for the nice flat top LEDs that Mutable uses?

Gracias!

Farnell 1142498, 1142500, 1142497 (in rasta order)