That leak also mentioned that SpaceX had the option of manufacturing the terminals themselves, which might be what they ended up doing (and is certainly how the

That leak also mentioned that SpaceX had the option of manufacturing the terminals themselves, which might be what they ended up doing (and is certainly how the cost of $2400 can be reduced). If they manufacture Dishy themselves, they buy chips from ST and pay ST an additional fee for not buying 1,000,000 finished terminals.