Sorry, I don't remember. I suspect that my over-long bolts were a couple of replacement ones that had been put in by a previous owner. The parts manual only specifies two different lengths, and they're significantly different so you can't go too...