Source for solenoid? '87 Holiday Rambler Class C (E350)

My father-in-law is trying to replace this solenoid from his E350 1987 Holiday Rambler RV. He can't figure it out. He's bought a couple things already that an RV place said would work and they haven't...