for posterity......forget the dealership. they dont even show the spring in their system. Just go to ace hardware and get a #74 spring. problem solved. you may now move on with your life.