They do have pieces from ORA, TCN, and others in their "aquaculture" section.I think we are wondering because divers den generally dont deal with branded pieces like RR or WWC or others. They sell maricultured pieces and thats why its called divers den. These pieces dont have lineages but may look like the branded ones. So, if you get something from divers den you can not call it by its branded name like RR orange passion or SC orange passion etc.
And TCN has an OP on their Facebook page, so it could be a TCN OP.