Looks like @ghott hasn't received any replies!