Not sure what to call this spring under the seat, but mine broke and need another one. Likely the ‘86 and ‘87 spring will work, but not sure? Thanks.