Three colleagues, Alice, Bob, and Carol, are typing a manuscript. The total number of pages to type is 600. Alice can type one page in 12 minutes, Bob can type one page in 20 minutes, and Carol can type one page in 15 minutes. If Bob and Carol both type all 600 pages, Bob will spend how many more minutes typing than Carol?