I have a Buddy ... not sure what model Marlin he shoots... but, he needs some mags.. 22 Mag ... the OEM mag. is #25mn 7 rd. from what I can see/read .. any leads or help for me? OEM or aftermarket... my searches don't come up with anything in-stock much except eBay.. may have to go that route but thought I should ask 1st... Thanks.