Operation of gas stations