T1 will format the external SD card. This has always worked for me. It is on page 2 of home screen under Settings, Initialization, Format Memory.
SD association formatting tool with full overwrite formatting also works with SD card plugged into your computer using Microsoft Windows OS.
https://www.sdcard.org/downloads/formatter_3/