I believe you should be able to get the credit to calculate using the 8936 worksheet.  I setup a dummy return and was able to get a tentative credit of 7,500.  I would recommend contacting ProSeries Technical support if you are unable to get the credit to calculate properly.