Correct in all of your assumptions. You can use the $8,000 as education expenses for your education credit.
