  We prove Manin's conjecture for split smooth quintic del Pezzo surfaces over
arbitrary number fields with respect to fairly general anticanonical height
functions. After passing to universal torsors, we first show that we may
restrict the torsor variables to their typical sizes, and then we can solve the
counting problem in the framework of o-minimal structures.
