Sorry for my offtopic but see that hardware:
http://www.knvnet.cz/eudemon1000e.pdf
1000E-X3 is priced around 12 000 USD, but it's completelly hardware and 6 gbit/s troughput, 200M connections and 100K new connections/sec is absolutelly better then every x86 based router. If you want do that on x86, you need cca 4 PC's on 4x3,4Ghz. Power consuption of this box is max 100W. 4 those PC's is consumpting around 600W. Count how many you spend for elektricity when you have air conditioner in server house and backing up power, it grows to 850W. When you pay 0,5 USD per kWh it's 3723 USD per year versus 438 USD per year.
Conlusion? Good bye mikrotik.
PS: We have 2x Eudemon 200E-X3 ( 340K connections, 2 gbit/s troughput, 30K new conn/sec ), power consuption is 55W for 2840 USD. It works's as master/master with fully redundancy with connection synchronizing.