I'm a very casual PC game player and often play for 20 minutes or less at a time, making being able to quick save essential. Far Cry did not have it and you had to play a good while before the auto save. Far Cry 2 has quick save and worked(s) perfectly for me. Far Cry 3 has no quick save and that means I stopped playing it early on.

Does anybody know of an actual quick save in Far Cry 3. I think F9 is mentioned online, but it only informs you that you can't save during a mission and missions can take longer than I want to play.