Thanks, @SteveEngmann . Turns out that the customer had their fonts jacked up to 200%. Putting them back to normal (100%) resulted in the application scaling being once again available. Of course, this means that all their other apps which would work with 200% fonts now are teensy..