Looking for manual for IME 86s desktop calculator

[Joshua Alexander Dersch]

Hi all -- 

My dad's had an IME 86s calculator in his office for years, since he rescued 
it from his school's surplus sale a dozen years back.  Cool old desktop 
unit: 16 nixie tubes for the display, and a square root function! :) 

He's interested in finding a copy of the manual for it -- anyone out there 
have a lead? 

Thanks in advance...
Josh