I came across and purchased a nicely done Gilbarco 101 in Gulf colors. I don’t see much on this pump other than the they may have been used specifically for Gulf, and I have not had much luck finding pictures of them. Any ideas or direction?