those are the 5 major ones, but there are some others that are less powerful and usually free.
ps: personally for quality i like maxwell but it takes a dog's age to render, and if i need a quick render i'd use vray but overall the balance between quality and speed would still be vray at some of the higher settings. i haevnt heard much about brazil lately, but i used to use it. now it seems like a lesser version of vray than anythign else. and mental ray is classic, it has come with maya for a long time and recently started coming with 3ds max
also, a great free renderer i just found today is: http://www.indigorenderer.com its completely free and open source, and very powerful from the looks of it