What to do with the Dáil printer