The problem is that US rules won't let rifles back into the states if the taxpayers lent or gave the rifles to someone for free. They had to be SOLD to another country (taxpayers compensated) before a 3rd party can re-import them.
If they were never "bought off" then they can only come back if the foreign gov't gives them back and they then get sold through CMP.
Some rules may have changed though as last year a whack of Savage No.4's went back to the US, where before it was not allowed.