The printer options offered (paper size, colours, staples, double sided etc) are determined by the currently selected printer. If your selected printer doesn't offer A5 printing it won't be in the list. What printer do you have selected at the moment?
PDR