He will be hard pressed to find a AMD-65 for $400 these days. I paid $450 for mine years ago and it was cheap then.
I haven't looked at parts kits in a while, but they used to be rather cheap. Assuming they haven't gone all Obama scare he could still probably build one for that amount. Ask him WTF he wants to buy one and rebuild it for anyway.