Yes, those are the ones. They don't measure quite 1/2" and, according to some sources like Pioneer, there are several plugs showing as 1/2" but they measure differently. I just want to avoid having something with too much or too little press because, either way, they could pop out.