The Navy General Library Program does indeed have 9657 titles available.
http://navy.lib.overdrive.com/7EF363...en/default.htm
The US Air force Digital Media Program has 2202 titles.
http://af.lib.overdrive.com/A02616BD...en/default.htm
The Army Digital Media Library has 3013 titles.
http://army.lib.overdrive.com/2B7126...en/Default.htm