I just bought one used myself and have no manual. One can buy a User manual or service manual. Not sure if it is worth it.
https://www.manualsparadise.com/ShowProductsForModel.do;jsessionid=1929319297871153DEE5ED3918320BAD?source=esi&target=cd&model=M47463696
                
 John
                
 December 2006