Looks like @sjmania hasn't received any replies!