Thanks thedaddyman,
Great answer. Two additional questions.
1. If someone is married, they would need to pay the HSE 3.75% of the ARF each year?
2. For simplicity, if a person has no other cash assets, they would have to raise this 3.75% by taking sufficient assets from the ARF so that the after tax proceeds of any such withdrawal would be sufficient to cover the 3.75%?