I believe that is what he has, but he'd have to check himself. If it's newer than a year or two, I'd be willing to bet it's one of those.
If it's vintage, it may not work, but again, it may. I don't think the charging ports have ever changed, and that's all it plugs into.