Is this a good deal?

My gf was in an accident, got her payout and has just bought a new car. Initially $4k was the highest down payment she wanted to use then at the Kia dealership the salesman said the lender wants $12k down, she declined and somehow it got down to $7500 which she did put down. Mind you the car is a 2025 kia k4. We leave the dealership then few days go by and my gf calls the bank to do her welcome interview but they said her paperwork was returned to the dealership.

We contacted her salesman to which he says "Deal is good, but it's a new bank so they're requiring $1k down, my gf paid online and salesman says she'll get new paperwork to sign tomorrow... I don't feel good about the fact she had to put $8500 down... When we were at the dealership we were told only one bank would take her for $7500 down now all of the sudden another lender is somehow possible.... That's almost $10k down on a car which is insane!!! Help!! I am also a woman so pls don't scold me!