Looks like @borissvinok hasn't received any replies!