As I know, for BSPSOURCE or any decompile prog, you don't need any game installed, because it only uses and extracts/decompiles the contents from the BSP. The map information, triggers, brushes etc, and some extractor can export embedded content (custom textures, scripts, models etc.)
They don't even ask where portal1 or 2 located.
So he can extract the .VMF for you or you can just ask to pack and send the bsps to you and you can extract them (up to 100MB sharing you can use wikisend.org no registration needed, just ask him to upload BSPs in zip and share the link). or you can even share the link with me and I can decompile and send the VMF if you still have problem starting bspsource or extracting the maps.