An RGB code would be useless if you plan to print them off, RGB is additive. You'll need CMYK, or better yet a Pantone code.

Edit: I checked my booklet and it's hard to say without my gauges handy, but I'd say it's somewhere around Pantone 5535, or:
C 77
M 54
Y 80
K 76
approximately.