The difference could be whether a player has filed his retirement papers or not. Whether they are officially retired. If Benson hasn't officially retired he would still be considered and active NFL player who is looking for a roster spot. So I would agree with you that Benson wouldn't cost more while a Jerry Rice (officially retired player) would cost more.