If you have ever broken the head off a #44 LED, you see that you can make it any color you want very easily by soldering in a different LED.

Might be worth it if you just need a few for a Fathom or something.

IVe seen them in US the but honestly they are ridiculously overpriced Just buy em from china the wait is worth the savings i just ordered 50 aqua high powered and am going to order some super 5050s shortly ill just convert some cointakers over.
Remember they sell these Leds under Cyan, Turquis, Aqua and Teal descriptions
For inserts you can just buy simple 3-5mm aqua or teal leds for pretty cheap and just buy a lot of small 3x led boards heres a ebay link for 5mm this seller also sells 3mm t1 as well ebay.com link: 1000PCS 5mm Cyan 7000MCD 505nm water clear led lamp LEDS
I started using 1w high power buttons for the bumpers and dummys but clear caps need to be frosted to look the best

I wonder if the mint is equal to teal?

http://pinballdecals.com/OptifluxLEDPage2.html

Its been my experience that mint is a diffferent color yet there is a bright lt. blue and aqua/cyan are more greenish blue

Only freaking PDI would think they could get away with that kind of murder.... 3.55/insert...yeah...okay.

BCS Pinball used to sell Cyan...not sure if he still does or not:

http://www.bcspinball.com/

Let us know what you find out there--they are rare, not sure why; definate void in the marketplace (hint to PS LED retailers ).

I bought the cyan from BCS. I like the LEDs, but he is beyond ridiculous with shipping. I've done two orders from him and both took months. I'm still waiting on some blues from over a year ago.