I think every Carol service/Nine Lessons and Carols that I’ve ever done has opened with “Once in Royal”. Most Midnight Mass services I’ve been to start at 23:30, with “O come, all ye Faithful” as soon as possible after midnight, this usually includes the last verse “Yea, Lord we greet thee”.