When you retire, and taking the maximum amount allowable tax free out of an AVC, the remainder can be put into an ARF. Is it possible instead to take the remaining amount out instead of putting it in an ARF and pay tax on that amount. Would you also have to pay USC and PRSI on this amount?