My preference would be a Hw100. A better gun than the r-10 in every way apart from looks.
If you do go for the r-10, buy a used one that's been sorted because buying a new one is a BIG gamble with magazine and regulator issues. I speak from experience.