Looks like @gjo hasn't received any replies!