He is shooting a Winchester model 100, and its a great piece. Thats all my dad will shoot, it was my grandpas deer rifle, and it was made the 2nd year they produced them. You can't pry that gun out of my dads hands. On his last elk hunt he was having issues getting that gun to shoot well, so I handed him my Browning A-Bolt 7mm, and he end up taking that gun on that trip.
Out of the guns you mentioned I'd go with the A-Bolt, but without the boss. I'd also stick with a tried an true cartridge like the 7mm, or 300win, or 338. Not that the short mags aren't good, I just prefer the "old-school" cartridges.