No, they were just missing from the example library setup file that SkyWater had. When I discovered that the binned models were causing ngspice to take a loooong time to start simulating, I was hesitant to add even more include files into that setup file.