I used to prefer Winchester Super X 40 grain Solids for plinking when I started shooting my own .22LR.
Fed reliably and had good accuracy although I never really shot it for groups. I could typically hit a quarter at 50 yards with the carbine and used to use NECCO wafers for the MKII at 15 to 25 yards.
Right now I'm buying Federal Auto Match when I can get it. I have a certain sufficiency of CCI Standard V.
I'd probably pick up CCI minimags IF I could find them reasonable. Picked up a couple boxes of Winchester last time I saw them in the 100 pack. Might be your red box ammo I'm not certain. Both the HPs and the RN worked for me back in the day when the boxes were white paper by the brick AND/OR 100 packs of the translucent yellow plastic.