I can't believe that I've spent an hour trying to play these dumb things on both my Linux box and a Windows machine. Or even to find out what I need.

I have three files given to us by a client. They are video, and were recorded on a Sony camera of some kind. They are called:

AVIN0001.BNP 115.3 MB
AVIN0001.INP 115.3 MB
AVIN0001.INT 172.3 MB

What on earth do I need to play these things?

(For bonus points, what do I need in Windows?)

Thanks!!