Only Mk I and Mk VII DEPs were made in Isreal. They are no longer being produced as of a few years ago. The Mk XIX is made in the US and is based on the Mk VII .50AE frame.
there should be no shortage of DEPs in the US.
The other Eagle lines I can see not being imported temporarily, but not the Desert Eagle.