Thanks, I found what I needed there. The bulb type is "W3W" and it's 12V, 3W. I found a green led equivalent pack of 10 for $6 by googling "w3w equivalent".
Word of warning to anyone else trying to replace bulbs- the green OEM bulbs are NLA, as indicated on Max's site, and when I tried to order some from Max a while back, they sent me the "superseded by" part, the non-tinted bulbs.