Yes, the gun has been discontinued. I managed to pick up a second one from a local pawn shop for 400. Check around at some of the online auction sites and see what you can find. The actual model is the 8045 if you need the numbers to search.
Actually, a bunch of them in 357 SIG went to the NC Highway Patrol and other agencies down here. I wonder how long it will be before they start showing up on CDNN?