I'd suggest getting another manual....

Factory manual doesn't mention applying anything to the bolts.....as long as you didn't over torque them, you should be good to go.