You don't think they can put whatever lenses they want?
Alternatively bigger pixels would improve low light performance.
To what end? There is seriously zero reason to make these cameras 4K.
Nor is there any logical reason that the repeaters would have to be physically bigger to hold a 4K camera. The connection you’re trying to make isn’t there.