i did 10mm to my workshop in the old house, and bought 16 for the new place (though it will be running an EV charger in the new place as well)
The cable cost difference is usually fairly small, especially when taken into context of the whole job, including potentially digging up the garden etc...