The only time I've seen a 4075 model number is when it was used by one of the manufacturers to refer to a black 4072. I sell 4072's in my retail
shop, and have never run out of stock of white/orange LED. My online
shop isn't up yet. I talked to the developer and he said it should be ready sometime this week. I'll post a link once its up if you feel like waiting. Kits will be on sale for 49.99 with free and low-cost shipping options.
edit: my bad. I just went
through my suppliers and found 4075 is the name first union uses for the 901. they do manufacture white 4075's.