Yep, they're extended. I used Autolite 85's as they were the only appropriate ones my auto parts place had in stock. They're supposedly equivalent to Champion RJ12YC or AC R44S.

Hopefully I can find some time to tinker with it this weekend.