Thank you! I called and they said the system does show a credit on the account, but he reviewed everything and told me I paid the full $7,500 back. Even though it shows the credit, it probably won't do any good to file an amended return.
Thank you for pointing me in the right direction!
