I was talking to the local diesel injection shop about wanting some bigger injectors. He said for the money the Bosch 0432131715 injectors were a good buy. He called them an 80 hp injector and assured me that they were not the marine injectors. Anyone heard of these and/or use them? Thanks.