Best way to calculate the formatted size of a drive is:
(in the case of 250GB)
250,000,000,000 / 1024 / 1024 / 1024
My calculations show it to be 232.8GB formatted. (Basically, 1KB = 1024bytes on Windows, 1KB = 1000 bytes on the HD which is the reason for the difference)