Got it back today. The sheet that came with it says they head spaced it, polished the feed ramp, ground off some burrs, checked it for correct operation. No more trigger problem (I only fired ten shots out the back door to see if it worked). Now to put a scope on it and see if it (or I) can hit anything intentionally. Maybe by accident. At least they sent a spare magazine with it.