Having worked on ATC, this really does sound like a software bug. Fixing such a bug on a delivered system would require an immense amount of costly testing. Adding memory is the cheap option.
The other thing to consider is that some of these systems are rather old and could easily have less than a gig of ram.