Looks like @richardlucas hasn't received any replies!