Where did you get that quote, or who is your rep? The cost we got was 20k per processor and we were buying a huge bulk which even with discounts brought the per processor license only down to 15k.
Funny stuff. That means I've now heard 5K, 10K, 15K, and 20K/cpu. Either it varies widely based on some mystery criteria or there's a lot of bull information going around.