I'd first look at the Resource Usage view to see what is causing the overallocation. Clearly if Dave is only working 4.5 hours - he isn't overallocated on a day by day setting. Leveling from the Gantt view (where you see the little red men) is mostly useless - you have no idea why he's overallocated, no idea what tasks are causing the issue.