Looks like @fatgandalf hasn't received any replies!