.... If there were another war, even a short one, that could end with both sides controlling some of the Sinai, and that border could look like the DMZ in Korea.
I doubt that would've been sustainable. Egypt demanded it all back.
Don't they have limits on the troops they can station there as part of their existing deal with Israel?
Yes but lately these were modified or dropped to enable Egypt to combat "Sinai province" rebels.