Misc. What size bolts secure the gas pedal assembly to the firewall? 81' CJ5

[jhur]

Anyone know what size bolts the gas pedal assembly uses for 81' CJ5 ? I'm going to try to preserve these but they're so rusty I'd like to pick up replacements beforehand.

 

[TSB8C]

I went out to the shop and pulled one of the bolts off my Jeep. It is a 1/4" x 20 threaded bolt with a pointed nose. The actual thread diameter is .241" and pitch is 20 threads per inch. There is a star lock washer integral with the bolt. Thread length to the washer is .583. The wrench size is 3/8".