Time for coffee. What a morning, Dublin!