they do offer a 4200.I was looking at there 3400 spectrum. Its got spikes in the green/yellow spectrum. We don't need spikes in that area. Not sure why one would use that bulb. I would just get a 3100 or 4200.. I see they don't offer a 630 4200.
the website is messed up and the link to that bulb is broben on the products page
go to the page as if you were buying a 630 DE fixture and you can see all 3 bulb (tube?) options in the drop down menu.