The 5K federal is applied automatically and does not count towards the down payment. So it'd be 2.5k reservation fee and whatever else you put down at signing. I may have misread the 5K down minimum at signing but I'd suggest just contacting Tesla to confirm.