It's not piracy at all.

If they watch the movie again without a license then it would be copyright infringement.

Assuming they live in a jurisdiction that allows format shifting they've not made a copy without a license or right to do so.