It appears I was mistaken. They have it listed as “modules produced by Pimax” even though it is a third party product. The real problem is trying to remember all this stuff after 4+ months. Luckily they added the “Pimax-official” tags, so it was easier to find.
Continuing the discussion from Pimax 5K+/8K FAQ (updating):