It turns out, when I search for "93115" springs, they are sometimes 25.25, and sometimes 25.13 (or shown as 25 1/4, I'll assume there is rounding in the first number).
The examples are always 4 leaf springs rated at 3,000 lbs each. They get away with a 4 leaf spring because it has thicker leaves than the 5 leaf springs. I'm not sure if one is really better than the other.
I'm also not 100% sure mine measure out to 25.25, or 25.13, with a tape measure it is easy to be off by a 16th, these maybe fall in the middle somewhere, but they are 19 years old, and maybe at this point we are splitting hairs. The longer length at best adds 1/16 on either end of the spring.
Interestingly enough, you can find a set of 4 on amazon, haha:
4 Leaf Spring SetThey are stupid cheap at $40 a each shipped, so I'm going to assume those are the worst china has to offer.
I'll continue the search to find the best quality, but it is a trick to know what you're even ordering now. It seems dexter/rockwell is still american made, but can't seem to find them to order online.
I need to get this order done today so I can get them in by next weekend.