If you find a collapsed spring, your local Ace Hardware should have 'em. Take the other spring in as a sample, if you can remove it.
Ours is a red, black and chrome 2017 F3 Limited. Bought new in 2/2019. The avatar is my first bike back in 1952, a Simplex Servi-Cycle. Photo taken at the Barber Museum.