Right you are, alex! Its been a long, long time since I've purchased a Phillips bulb, so as soon as I read "it has a phillips bulb, no...." my mind jumped to the old 6604 bulb and the headaches that come with it. The 13139 is indeed the correct bulb, though cheaper replacements can be had by purchasing so-called EFN or EFY bulbs (EFN has something like a 50-hour life, and the EFY is 1000 hours or something like that, in the same reflector housing). So, keep on trucking and don't worry about buying a bulb adapter.
The book is a good one, and you can get snippets on Google Books. Otherwise it carries a bit of a collectors price tag.