Thanks!
When the installers came out to put it in, they used some old screws (5/16" head) on the terminals instead of the 1/4" that were in the package with the manual. Wasn't sure if that would really make a difference, but I went ahead and swapped those out with the supplied screws anyway...