3.25 GB to be precise.
As I wrote, it's depend on which software he's using! With 4 GB of Memory Windows 7 64 bit isn't working as smooth as Windows 7 32 bit, special if he use 32 bit software/application only! Many programs, 32 bit I mean, would run in 32 bit environment better than in 64 bit environment. One example is for Games like the FS-X which runs much better on 32 bit Windows. Is the only Game I using and so I can tell just that from own experiences.
I learned with the time, that's not every time the best to have the "latest"! Many times the older is working better and faster without the need to change anything, to learn new procedures etc., etc.!