We are actually NATting to these users today - but not with Mikrotik (using Windows server). We want to simplify the setup… And performance is not a problem at all.
But in order to do this with Mikrotik, you need to add 1000 global adresses to the public interface. This is errorprone and not elegant at all.
however, if you add the 9 extra adresses (10.76.20.11 to 10.76.20.20) either as /24 or as /32 (I’m not sure what’s correct), the setup works immediately.
This may not be a real problem, as adding many adresses can be done with a simple script, BUT when trying, disaster strikes: Adding 1000 /32 or /24 addresses to an interface results in lockup of all interfaces. Only way in is the serial interface.
So, please help me correct this setup - or let us agree, that we found another bug, that MT will fix in due time.