Thanks. No they are not using the stock crank sensor. They are putting something in the distributer to get that.
That is why the distributer is missing right now. They still have it to build whatever it is they are putting in.