not sure what that is, but his company sold gas to just about every local gas stations in our area... and this was 25 years ago during the first gulf war. but... during the war, gas prices in our area tripled. He told me that he never raised his prices a penny though the entire time.