Experience of paying back to the UK tax office?