I would VERY strongly suggest reporting the pistol stolen to the PD, you are liable for it if it is used in the commission of a crime. Not sure how you are going to tell them it was stolen, thats your decision, but as a responsible gun owner you NEED to do it.