But if he's installing a new lighting system he should be able to build in an allowance for extra depth fittings.

You're right though, nothing wrong with mix and match, the 7w fluorescent or LEDs should do fine for under shelf with perhaps halogens in the ceiling if necessary (although I'd still go for some kind of fluorescent lamp).