With pay as you dine all the mess bar staff will be provided by the catering company. Therefore smoking will be banned on health and safety grounds. However when bar prices will be competitve with local public house prices ( £2.50+ per pint) the mess bars will be empty anyway, so its irrelevant if smoking becomes banned to mess members.