A 4.3Gb drive is actually a 4.0Gb drive, because hard drive manufacturers quote a gigabyte as 4,000,000,000 bytes, whereas the commonly accepted gigabyte is actually 4,294,267,296 bytes.
This means hard drive manufacturers can make their drives look bigger on marketing spiel than they really are.
Since a 4Gb drive is 4,294,267,296 bytes, hard drive manufacturers call it 4.3 (decimal) Gb.
So, he can use all of his hard disk without any NSD patch.
