really like to find an 1187, or 935. but interested in about any brand. Like to stay around the $400 mark, maybe little more for the right gun.