I just ran into someone selling a copule of refurbished P7M8's with cases. I did not check on the number of mags nor whether the tools were there. Since they are refurbished, I would think it was. The asking price was $725. Is that a good price? I haven't priced HK's for more than a year and am not sure what these are selling for.