Well, I was right about the boy part
I am still going with Arthur Philip Michael/Francis
I didn't want to guess either way but for whatever reason kept referring to the baby as a boy unconsciously (yes, people have been talking about this at work) and even this morning when heard the news I found myself thinking "she'll have the boy by noon".
I think your name suggestion is good and I hope they choose it. Albert is the other choice if not Arthur. There should be a Bertie somewhere but more than that I hope Philip is chosen.