>>63884528
Wouldn't hurt to ask and find out if it's truly gone. Otherwise, if you want to get one for yourself now's a pretty good time. Prices on '03s have been stagnant for about 5 years. $6-800 will get you a WW2-era rebuild which should make for a good shooter.