OK, spoke to the guy again (finally) the 5mmx2mm led's are no problem, they'll be an extra $2.50 as they are slightly more fiddly to put together.
So:
Solid top LED's = $82.50
Multiple mini top LED's = $85.00
All prices include international shipping.
Kindly re-post your interest (if any) stating which version. I'll give it a while then go ahead wigh whoever I have.
Cheers,
Si
Si