I’d get a .22 hornet over a .22 mag. The .22 mag doesn’t offer that much more real world range over the .22LR but the hornet is awesome out to 200y. It gets a bit loopy after 200y but with a 100y zero it only drops 1-1.5” at 200
I wouldn’t count the .243 as a substitute for the hornet either - .243 is 2000ft/lb and a 100gn bullet whereas the hornet is less than half that, one quarter the powder and 30-50gn bullets. It’s a superb varmint cartridge and frankly if it was legal it would be a superb muntjac/CWD cartridge as well. If it’ll kill a fox it’ll kill a small deer like that dead easy