That's what my notes say as well.
I bought a bigger pump for my supercharged VMax from Summit Racing, it's a Walbro GSS342BX.
I never installed it though because the stock pump had enough oomph for the job. I only installed bigger injectors.
It's not a direct "drop in" but it fits.