After Notts take an early lead, a professional foul on David Mitchell sees Richard Walker sent off - Paul Bodin dispatches the resulting penalty and the game ends in a draw.