Looks like @nobinstein hasn't received any replies!