I have just tested, and the F10 map change works well,
One thing to probably note, no user should leave it on the Syria map, as you can only change if you are spawned in a plane on the server, ego if you don't have the Syria map you couldn't change it to a map you have if it is running the Syria map.