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