Depends on whether he wants to spend some money, and for what he wants to do, buying separate would be the way to go.
2 X 200W panels off e bay ( rich panels ) are approx $210 each, but you get 10A output instead of 5A, and a controller at approx $30 to $100, depending on quality.
All comes down to space and money, for 400a/h of batteries, my ideal output from panels would be 40A, which would be 4X200W panels, which is 60kg's in weight, which is approx $850 worth and finding where to put them as well ??
So, you see where it has gone......from a couple of free panels to a system that is ideal !!