Sounds like he did get his $20K off, because he bought the car. He's just asking/curious/hoping they might neglect to remove it.
And how to tell if they did.
Yup, they removed the 20K from my purchase price. Just went and signed a bunch of paperwork. They of course messed up my loan documents, like everything else in this process so it took forever to re-do them before I could sign.
My car will be picked up by a 3rd party shipping service in a few days, so hopefully it'll get registered to my account then and I can see if it still has Ludicrous or not. Not counting on it, but it would be great. They did screw up everything else in the purchase process so hopefully they make one last screw-up and forget to remove Ludicrous and the gray wheels.