We have decided to forgo the half-term holiday in case we get there but there are other reasons as need eldest to visit his grandparents prior to leaving the UK.
Whether we get there or not remains to be seen however half-term in October will be a much better holiday.