Sheesh. Kids these days.Did you not know of hkparts.net or something?
Or and aftermarket spring suppliers like wolfe?
This was in the mid 1990s. The first web browser only came out in 1994. So finding such parts online wasn’t a thing. And the gun was too new for aftermarket spring suppliers to have parts for it.