So just for clarity's sake:
-the allen head bolts are M5*18 with a 0.8mm thread pitch, but M5*16 will also work?
-Torque on the allen head bolts is basically fingertight?
-The E10 bolts can be reused with a torque of 9,5NM? ( My service manual says 10NM, but that's within margin of error)
All correct.