These are the same hoses used in lawn tractors and other small diesels, and you are right about the manual not specifying, but it differs depending on year of manufacture. I've got the same concern, will probably take them off individually and carry to an auto parts store like NAPA or O'Reilly's and they should have a match for it.