Looks like @efraim hasn't received any replies!