Sounds like they are combining Marketing allowance & Costco. If that’s the case, they’re not giving you the full 9,500 (which is what San Diego should be at. Check on Edmond).
If that is the case, you should push for a selling price (at the minimum) to be $65,308 before the 7.5K EV credit.
You should also double check the residual & MG on Edmonds. For DAS, I hope you’re putting zero down and using MSDs.