Sorry, messed up my ages above, that should be 45 to 55 years old. So the retirement of these boomers may be more like 2015 to 2025. This may mean the unwinding of these positions may not begin in earnest for a few years.
