As a general rule of thumb, if you have an electrician to do the work then let them do thw work. They do this every day and will know off the top of their head exactly what you need. In the grand scheme of things if you need to go up a cable size the cost isn't that great - but they will just do...