This is an excellent use of the HDR and 4K container: Use it to precisely preserve the original look. Far more steps in the grayscale means banding can be completely eliminated. No reason to "goose up" what was shot.
It is extremely dependent on the particular film stock in question, but yes, 35mm film can have more than 4k of detail in some instances and less than 2k in some instances.