I think there's also a device you can buy just for doing low-level formats without the need of a ProFile card and special ROM.  I seem to recall seeing one on eBay.