How one gas station owner manages ‘rare times of volatility’ for Florida pump prices