does anybody know a decent format utility other than the windows default?