If it's a native PAL telecine (not a conversion from an NTSC transfer), it wouldn't have any pulldown, it'd just be just a 1:1 transfer from the film running at 25fps instead of 24, to the video picking it up in 50i. Wouldn't it basically be a 25p image broken up into two fields per film frame?

The only PAL DVD release was in Spain. If it was a separate PAL transfer and not a conversion from NTSC, it would also have increased vertical resolution. But since it only got a PAL release in one country, they could have just done a PAL-to-NTSC conversion from the American DVD transfer, like you described (as was often done for stuff that was shot on film but had VFX compositing and post-production done on NTSC video - think Star Trek: The Next Generation, or the 1996 Doctor Who TV movie).

I think it would at least be worth a shot to get that Spanish DVD and find out.