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