Looks like @aabimelech hasn't received any replies!