My approach when working without a schematic like this is to just get the one with the highest saturation current that physically fits and meets any other known specs. If there's an extreme cost difference, just "pretty high" or "higher than average" is probably enough, considering we're dealing with 30+ year newer parts. I like Digi-Key's interface for sorting parametrically for parts like this.
Those inductors are shielded, FWIW.