DP asked for Dr Martens for Christmas but they don't do size 8.5! I always get him size 8.5 so now I don't know whether to get him size 8 or size 9 instead?!