Yes the two button format option does format the card. It is like using quick format on windows computer. It basically deletes the file allocation table and creates a new one and it creates a label for the volume.
The menu method does not take any longer so I am sure that it uses the same process.
You could download the most recent firmware and reinstall. That may fix the problem.