Entered Tesla &, below max price, above min weight and AGI less than $300k. Entered $7,500 as estimated credit and this adds to clients refund via Schedule 3.

My question is that the IRS website says "The credit is nonrefundable, so you can't get back more on the credit than you owe in taxes. You can't apply any excess credit to future tax years"

But Proseries allows full $7,500 and changes client from owing $2k to $3k refund. But the IRS definition of "what you owe" is tax liability correct? So claiming the $3k as a refund is all good?