first of all: sorry, that I didn't reply to your mail, yet. I'm 
interested in continuing the discussion here or by mail - whichever 
you prefer.

That said, yes, I'd be interested in what System Profiler does 
display for this hardware (you should be able to cut and paste from 
there).

If the receiver is made by Philips, can you locate a device number on 
the bottom side of it (probably starting with OVU as have all Philips 
receivers I know of, for now).

Best regards, 
Felix