ugh I had to use Google to convert to the stupid metric system but yes that sounds about right, if a little on the big side...
I'd probable use a 1/2 in spade bit which is equivalent to your 13 mm
Don't know where you're located, but a set of spade bits isn't too expensive here in the states. Walmart has a set for about 10 bucks.