There is no way he will ever lose fat at 4000+ cals unless he is running marathons or doing the iron man or something. If your goal is actually to lose fat while gaining muscle (very hard to do at any sort of appreciable rate) then you have to pretty much be right on your maintenance level of cals I would say.

IW