Yeah, I have one. Will read the model number when I get home. It accepts PAL and NTSC, will record in PAL or NTSC, and will output PAL or NTSC, all individually selectable.

I don't know if they still make them, but they probably made them recently enough that you can still get them from eBay or surplus stores in good condition.