Does anyone know if Gilbarco 86 pumps should have a brass pump handle or an aluminum one?