You know, for $3k, he could simply buy a refurbished 50mm f/1.2 and an 85mm f/1.2. Now that seems like a plan to me...