UPDATE:
Got the first card: TS64GSDXC10U1
Formatted with this tool: http://www.ridgecrop.demon.co.uk/fat32format.htm
Took only a couple seconds or so.
Copied my old card to the new one, and everything seems to be functioning fine.
---------------------------
(Wasn't sure if I should...