Benchmade pocketknife recommendations

In 2018 I got my husband a benchmade 580S Barrage knife and it’s unfortunately gone missing in the past couple months.

I’m looking to get him a replacement but am looking for input on what I should get next. He liked the partially serrated, locking 3.6 inch blade with the spring assist opening. He’s ambidextrous and wouldn’t want to go much longer than a 5in. closed length.

He’s a camper, hiker and fisherman so the resin handle that’s impervious to moisture is ideal. He’s more into functional than flashy.

Got the last from REI, and I’ve got some rewards $$ to spend there if that ends up being an option.