Were they actually sold by Pentax or the US importer ?

I know there's issues in the US with Trade names, sometimes original ipmporters registered the trade names and that makes it very difficult when both sides part company.

It's very strange but I never heward of Takumar (Bayonet) lenses in the UK when they were made although a few turn up on Ebay, but then a lot of Americans are resident here for sort spells as well.