The drive should already be formatted "to Mac OSX" -- i.e., "Mac OS Extended" format -- because he's using it with Time Machine. Time Machine will not back up to a disk that is not already formatted in a Mac-native format.
If you launch Disk Utility, can you "see" the drive in the list of drives on the left-hand side?