520X の USB-HDD に 4K録画した場合、ファイルサイズは 1時間でどのくらいになりますか?
あと、 HDD の容量上限とか、取説を読んでも出てこないのですが。