I'd say use our standard license header and put their license header under ours.