I'm pretty sure my 1992 454XL engines have Holley 4011 carbs, the stamping on the horn is R-84042. I just learned that these aren't even the marine version, they must have been replaced over the years because the correct carb number would be R-84024 or R-84026
They are pretty worn out...