If you mill the cap, use an end mill with a radiused edge otherwise the cap can break at the corner of the mill mark. I've done it both ways. I cut the stud and ran no washer on my own motor but I've milled .120" off the cap on every motor that's come out of the shop I work at.

Or... you could run the bolt.