That power supply will easily run your Core i3 even with a dedicated graphics card.
Without knowing the brand of power supply he is useing i would not tell them that. It could be one of those $20 cheapo power supplies and could end up blowing up on them if you over load it so without knowing the brand they are using i would not say that with certainty.