Based on the amount of grain in the film there’s not a huge difference between upscaled 1080p and native 4K in this case, so just using the regular blu-ray should be fine.
A nice trick for unnoticeably upscaling shots is to de-noise it, upscale it and then apply noise again. I depends on the quality of the de-noising and upscaling algorithms, though.