What Ajax CNC mill are you are talking about. I can't find a "Tool room CNC mill on the web site". Do you have a direct link.
Buying a mill for hobby use is like buying a new car. How much money can I afford to spend, add between 20% and 50%, then evaluate the alternatives based on 10% logic and 90% heart.
I would congratulate him and tell what an excellent choice he's made.