hallo Andreas,
Erst in CSS 3 Color Module wird grey zum gültigen Wert - in CSS 2 bzw. 2.1 heißt es gray (da haben sich die Amis mal wieder durchgesetzt).
Das ist zwar richtig, nutzt aber hier auch nix - der IE scheint selectboxen nun einmal nicht mit CSS-formatierten Rändern versehen zu wollen, siehe das SELFHTML-Beispiel, in dem "border:6px solid #ddd;" angegeben ist, was er auch nicht macht.
Grüße aus Berlin
Christoph S.