[x86x87]

Yes, also the whole 500 is probably inflated and makes for a better narrative/better leverage in negotiations.