Probably some custom model built for their hardware.