I'm not familiar with those, but there's no way I'd buy one of those tools from walmart.. Go to a local shop and ask them which one you need. You'll get the right tool for about $12-15 and it won't break the first time you use it.