Why do you say HDV over AVCHD Andy? I know the bitrate is higher with HDV, but I thought the newer codec was more efficient?