Are OPS employees eligible for military leave benefits?

Other Personnel Services (OPS) employees may request time off for military duty obligations. However, OPS employees are not eligible for paid military leave or military supplements.