You're doing some great work there! Please keep the pics and updates coming.
External size of the pump doesn't matter. The stock jecs pump is rather large for it's size. If it does say jecs on it, then it's stock. The only other Jecs pumps in use would be a Z32 pump or a Tomei pump. Both are uncommon swaps to say the least.