The LEDs I got elsewhere have arrived. 3mm though, which is actually probably better suited to my project anyway.
I could still use some 1.8mm LEDs, sethk_, so if you do ever find the opportunity to send them out, or at least to give the whole lot to someone else to send out, I'd be grateful.
Thanks.