The linked artile has a link to the original article that states the part is being 3D printed.
This is actually something I’d advocate the PRCs fabricate. It would cost what? $10 maybe at wholesale?-)
no doubt the 3-d printing co is also including something else 3-d printed in the package out the back door
$500 hammers, $10K seat covers, all that stuff is cover for funding missions/projects that either have no budget because ‘they don’t exist’ or where the budget has been cut but the mission must go on