Come to think of it, I did inquire about this from the ATF a few years ago and was told that to bring the pistol back without the 4457, I would need to get import permission (Form 6) from them.