This seems reasonable as the US Navy likely hadn't bough licenses for $155 mil, but had negotiated or accepted other use patterns than en-masse installation.

Importantly, this should also be seen as precedence for private piracy and that people with thousands of movies on their harddrives naturally aren't liable for the sum of their retail price.