That might be the MSRP, but it's not what they were paying.

They're going to have at minimum three different types of "discounts" applied to their price:

• Volume discount
• Government discount
• Tenure discount

If I had to guess, it would knock anywhere from 30% to 60% off MSRP.