Scanned 8 mm film import into Premiere Elements 11

I want to get some old 8mm movies scanned and imported into Premiere Elements for editing. I am confused about what output format to ask for.  They recommend a 2K scan to get as much out of the film as possible.  They offer MP4, AVI files, MOV, HD MP4, HD AVI, HD Prores, 2K AVI editing files, and 2K Prores files.  What I want is to get the best quality that I am sure I can import.  I am worried that any Prores file won't work. MP4, AVI and MOV I am sure will work, but am I throwing away quality from a 2 K scan?  Will HD AVI,  HD MP4, 2K AVI editing files work in Premiere Elements?

Any help would be appreciated.