Looks like @davidcheifetz hasn't received any replies yet!