RDW: No question - go with the 17 HMR!
I have now killed three Coyotes with my 17 HMR's all with one shot apiece!
I have also killed Wild Turkey, Badgers, Fox, large Rock Chucks and large Porcupines with the 17 HMR along with all manor of smaller game and Varmints.
I have used 22 Magnums in all varieties for decades and began using the 17 HMR in 2,003 - the 17 HMR is more lethal and more accurate for me.
Plus the trajectory is better in the 17 HMR out to the ranges I shoot Ground Squirrels and prairie Dogs with them anyway.
The 17 HMR (A17!) is a VERY impressive rimfire cartridge!
Try one I am sure you'll like it.
By the way how was the velocity of that A17 ammo?
Hold into the wind
VarmintGuy