Yes, guys -- thanks for the concern -- but it was $1,000 off of the ED MSRP, so that came to about $3,700 off of the US MSRP.
I did the math and had the number in hand before I called them... thanks to some good soul who posted the wholesale and retail figures for the '09s.