Can anyone tell me the correct name of this LED? (I've been calling it a "long snouted" one.....) Any idea where I can get some more? I've had these in my stash for a long time, but damned if I can remember where they came from! Would like to replenish my supply, they are very useful in some situations! Thanks!