OK, kinda suspected so. I bought one of those $60 aftermarket fuel pumps, and I dismanteled the old burnt pump to use the original end plate with tubes in the right direction, and the original mount with studs.
Good news is that all the parts easily interchange, for a new factory like pump on...