oops!
I believe it is a half inch allen wrench. But, shhhh, don't tell anyone what I did! I used a crescent wrench because I couldn't find the allen socket I swore I had!
Nick
Oops. Didn't realize the different year trucks you and I had, as the bolts could be and probably are different. I am sure someone with a 2000 could answer better.