Looks like @thomas3 hasn't received any replies!