As long as it says EDIS 4 on the module it'll be fine
I would at the very least, make sure that you get the plug with it .... Difficult to find on their own.
You may be lucky & find that the TDC sensor wire is un-cut .... Some folk just butcher them out of the car !!
If you are wanting to make use of the EDIS Tachometer drive output, it would be easiest to make sure that you get a plug that has Pin 2 Connected .... Some plugs don't .