Why stop in 8k? Let's go 16k! OK, but for 4k the ATSC won't work. The best standard will be something in the line of the DVB-T, probably called ATSC-II.
Please, tell your engineers that the Funai DVRs need High Definition capabilities like: inputs, tuners and PC/USB export ports.
Good Lord, why this forum needs something like the Thumbs Up! option?