I have the RG35xx, Mini and Mini +.
Onion OS is still a better OS than Garlic OS. It has an excellent amount of additional features and maintains stability.. It's easily my favourite custom OS.
Other things I like is the Dpad is better than on the 35xx and the shoulder buttons don't rattle...