Looks like @michmor hasn't received any replies!