That's a regular LED bulb and a matching holder (just mounted lower by Seeker as he explained in his thread). Its commonly available at electronic kit stores. There are 2 sizes - regular and small. Regular is closer to the real thing.
I got mine for less than the equivalent of $1. I just don't know how much it will be in other locations.