DEVA Broadcast, Media Player, models:

DB4402-V2	Maintenance And Operation Instruction Manual
DB45	User Manual
DEVA DB8000	Maintenance And Operation Instruction Manual