I think someone here on RW makes their own castings starting from one or the other of these as a master,
You may be referring to me. I've made molds of various light castings and make my lights out of clear epoxy, inserting the 0402 LED right into the casting and then painting them. I've started one that will really look cool. A BCR unit that has two posts on the pilots, each with two lights on it, plus a head light, on both ends of the loco. A total of 10 lights. It's ready for paint. I'll post photos when it's worth while.
Craig