The R-09 has got mics built in! They're not bad, but the mic amps on that model are noisy and you'll get noise also if you use an external mic via the 'mic' socket - of course you'll be fine if you also use and external mic amp via the 'line' input. The R-09HR, which is a completely different model, is very, very much better in this regard.
I haven't used the R-1.
But the usual recommendation for mics for that sort of kit, over many years and still good advice, is the Sony 957 (there's some prefix to that but that number will find it, I think).
I use a Royer SF-12 stereo ribbon and custom-built mic amp with my Edirol R-09 and R-09HR (yes, I own both). Expensive, but well worth it.