All that has been said but the real considering factor should be what is comfortable to him so see if he can get his hands on these markers.
My set up for him would be extremely cost effective and have better gear:
USED Bob Long Marq 6______$250
NEW MASK with he leftover money and I suggest getting the best one he can buy.
My set up I suggest for him is ideal because generally the Marq's come tuned already and there are ways of tuning them without a pressure tester and the fact that they used to cost $1000+
The tank is a tank and will always be a tank and there is really no reason in my mind to buy a new one.
The hopper is a "superloader" with a proven design and will out feed his shooting.
The mask is a piece of equipment that will be personal to him. I wouldn't want sandpaper foam on my face with a single pane lens that is prone to fog, i'd do it right and buy an expensive mask or at least one with a dual pane lens.