Please remember that the wrench has to be turned in different directions for left and right side, and that the ignition must be off.
The right side needs to be turned counter-clockwise for manual release, and the left side clockwise.
If the Allen bolt is stripped, then you should replace the lock after you manage to unlock the top one more time.
The soft top tool is indeed a 6-mm Allen wrench, and a T-40 star wrench does the trick, as well. If you are lucky, you can pound a larger star wrench into the stripped bolt and manage to turn the latch.