I looked into it a long time ago, but at this point I'm not looking at touching the code which handles payouts.  If something goes wrong, there is no way the pool would recover from the loss without it affecting the users.