I find that the need for big power supplies is overstated. OEM power supplies are generally much better quality and can handle more load than the cheap aftermarket replacements.

Is there a specific reason that you think it won't work? I run a whole lot more stuff than he does with only a 230W PSU.

Personally I think he won't have any problems, but if he does, THEN you can spring for the bigger PSU.