Does anyone know what manufacturer makes the push-push pots on the JP Majesty guitars? (it seems there aren't many good push-push pots available)

Thanks!