I have a friend that's looking to buy a Southwest Gulf 1960's pump. The pump has Golf decals front and back. His question is: did Gulf ever use decals on these pumps, or only porcelain plates? Thanks for any help!

gulf pumps.jpg
picture taken from web for reference