From what I have heard, overclocking with 4x sticks at this point is still almost impossible. For this guy I'd just be looking for 100% stable at stock speeds.
I'd rather talk him into 2GB, but hes dead set on wanting 4GB, and he has the money, so theres not much I can do to stop him, eh?