Type: Posts; User: photolady
Try this one. It's one we photographers use to format our SD/SDHC/SDXC cards. https://www.sdcard.org/downloads/formatter_4/