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