Would a person assume that this pump was a Texaco pump?