Yes. Those are the actual taxes you pay. But some people who do withholding get confused about taxes vs refunds.
E.g. You earned $100k and when you calculate your taxes you owe the govt $20K for the year.
If your employer only withheld $18k during the year you owe an additional $2k when you file.
If your employer withheld $22K during the year you get a $2K refund.
In both cases you paid $20k. And the $7500 rebate would reduce that to $12,500. So if your employer withheld exactly $20k and you claim the full $7500, you only owe $12,500 and would get a $7500 refund.