“If a project is sourced from an HDTV broadcast, and that movie has subsequently been made available for purchase on Blu-ray Disc, you are expected to own the BD before obtaining the fan project.”
So… if he owns the Blu-ray he’s good then. This adult sees the debate as settled, you’re right.