Charlie Boy Episode music

[darksenin]

Does anybody know the name of the jazzy tune that plays on the episode at 12:10? I know David Lindup was responsible for this episode music, but i'm not sure if this was a library music used, or an original composition. Can somebody help?