From the colour chips I've seen, I'd say that the RLM 72 is slightly lighter, so yes, go with that first.
These two are slightly different to the 'normal' numbering system, as, generally, the lower the number, the darker the shade, for example RLM 70 Schwarzgrun, and RLM71 Dunkelgreun.