2) ECC , IMHO, is useless on personal laptop. Error rate is quite low that "opportunity cost" is too high.
Except that, MBPr is proper solution. So, let's hope Apple to solve your USB3 port issue. (you can report, by the way)
1) well, PC-BSD most probably. I am more an OpenBSD person so I might still go that route.