I just got a Pentax S3 as an estate sale. Some research let me know that the S3 were sold in the US as Honeywell H3 but were any Asahi Pentax S3 sold in the US?