The new oil pump has arrived today; I opened it up and confirmed it is the new design, which works well.