Well, hopefully you didn't go by that 5/16" size, because I finally found the receipt, and I bought
3/8", not 5/16". 3/8" also matches what the Rockauto fittings were noted as. Bought a couple of sections of fuel line repair pipe, and high pressure compression fittings. Also bought a small (tight clearance) pipe cutter with a cutting blade that could handle steel pipe, instead of the more common one that's for copper/brass.
When I took it to the garage for the full repair once the replacement pipes came in (I just couldn't tackle it myself in the time I had available), they asked me if I really needed to replace the hoses, since the patches I made were holding. I said "wait until you've seen the rest of the pipes". When they got in to them a bit further, they agreed. My originals were pretty badly rusted in a number of places, not just under that hold down.