Dsr-7401 User Manual Info

I couldn’t find an official or publicly archived manual for a product labeled in common databases (Sony, Samsung, etc.). The model number resembles Sony’s DSR series (Digital Master Recording / DVCAM), but DSR-7401 doesn’t match any known Sony DSR model (e.g., DSR-45, DSR-11, DSR-1500, DSR-2000, DSR-300, DSR-570).