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