Answer: 12 point 9mm socket. This is what is needed to remove the two bolts. So, I got one off.
The other was messed up. So I drilled the head out with a 1/4" drill bit fairly deep. Then I drilled the 1/4" hole out to 5/16". I bought a set of Craftsman Easy Outs. Pounded one of those into the bolt hole. Then took a 1/4" socket extension and placed on the end of the Easy Out. Then used a large open end wrench to break it free. PITA!