I'm not sure but I think I heard these are not torx head bolts but in fact 10 or 12 pt. bolt heads. This was why they stripped so easily with a torx bit. nhdoc has the right idea if you can get the old ones out.

__________________

Muleears
'07 E320 Bluetec 133K my DD
'04 Jaguar XJ8 VDP, 34K
'10 Hyundai Accent 60K Grocery Getter
'02 VW Golf soon to be on the road again
'97 E300 Diesel Son's DD
'61 VERY tolerant wife

Hampton Roads, VA USA

Gone but not forgotten:
'67 250S 95K
'86 300SDL
'87 300D Turbo, 364K! R.I.P.
'98 E300 Turbodiesel, 213K
'02 S420, 164K
'01 Prius 138K